26 #if ! defined (octave_gui_preferences_global_h)
27 #define octave_gui_preferences_global_h 1
38 #if defined (Q_OS_WIN)
40 #elif defined (Q_OS_MAC)
59 "padding-bottom: 0px;"
69 "padding-bottom: 0px;"
76 QStyle::PM_SmallIconSize,
77 QStyle::PM_ToolBarIconSize,
78 QStyle::PM_LargeIconSize
98 ":/icons/octave/128x128/",
99 ":/icons/tango/128x128/",
133 #if defined (Q_OS_MAC)
138 #elif defined (Q_OS_WIN32)
160 #if defined (Q_OS_WIN32)
190 QT_TRANSLATE_NOOP (
"octave::settings_dialog",
"Environment Variables")
const gui_pref global_icon_theme_index("icon_theme", QVariant(ICON_THEME_SYSTEM))
const gui_pref global_use_proxy("useProxyServer", QVariant(false))
const gui_pref global_mono_font("monospace_font", global_font_family)
const gui_pref global_restore_ov_dir("restore_octave_dir", QVariant(false))
const gui_pref global_proxy_pass("proxyPassword", QVariant(QString()))
const gui_pref global_status_bar("show_status_bar", QVariant(true))
const QString global_menubar_style("QMenuBar {" "margin-top: 0px;" "margin-bottom: 0px;" "padding-top: 0px;" "padding-bottom: 0px;" "}")
const QStyle::PixelMetric global_icon_sizes[3]
const gui_pref global_proxy_host("proxyHostName", QVariant(QString()))
const QList< int > global_proxy_manual_types
const QString gui_obj_name_main_window
const gui_pref global_prompt_to_exit("prompt_to_exit", QVariant(false))
const QStringList global_icon_paths
const gui_pref global_proxy_type("proxyType", QVariant(QString()))
const gui_pref global_use_native_dialogs("use_native_file_dialogs", QVariant(true))
const gui_pref global_proxy_user("proxyUserName", QVariant(QString()))
const gui_pref global_icon_theme("use_system_icon_theme", QVariant(true))
const gui_pref global_use_custom_editor("useCustomFileEditor", QVariant(false))
const QStringList global_proxy_all_types
@ EXTRA_STYLE_FUSION_DARK
const gui_pref global_ov_startup_dir("octave_startup_dir", QVariant(QString()))
const gui_pref global_custom_editor("customFileEditor", QVariant("emacs +%l %f"))
const QString global_font_family
const QStringList global_extra_styles
const QString global_toolbar_style("QToolBar {" "margin-top: 0px;" "margin-bottom: 0px;" "padding-top: 0px;" "padding-bottom: 0px;" "border-top: 0px;" "border-bottom: 0px;" "}")
const gui_pref global_proxy_port("proxyPort", QVariant(80))
const gui_pref global_icon_size("toolbar_icon_size", QVariant(0))
const QStringList global_all_icon_theme_names
const QStringList global_all_icon_themes
const gui_pref global_language("language", QVariant("SYSTEM"))
const gui_pref global_cursor_blinking("cursor_blinking", QVariant(true))
const gui_pref global_style("style", QVariant("default"))