Name
dev_get_preferencesT_dev_get_preferencesDevGetPreferencesdev_get_preferencesDevGetPreferencesDevGetPreferences — Query HDevelop preferences within a program.
dev_get_preferencesdev_get_preferencesDevGetPreferencesdev_get_preferencesDevGetPreferencesDevGetPreferences allows to query selected preferences of
HDevelop within a program.
Until now, the following preferences are supported:
- 'graphics_window_context_menu'"graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu":
-
Returns whether a right click into the graphics window opens a context
menu or not.
By default the context menu is enabled.
- 'graphics_window_mouse_wheel'"graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel":
-
Returns whether the mouse wheel can be used to zoom the contents of
the graphics window or not.
By default the moue wheel is enabled.
- 'graphics_window_tool_tip'"graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip":
-
Returns whether pressing the Ctrl-key over the graphics window shows
a tool tip with the current pixel position and the gray
values under the mouse cursor or not.
By default the tool tip is enabled.
- 'suppress_handled_exceptions_dlg'"suppress_handled_exceptions_dlg""suppress_handled_exceptions_dlg""suppress_handled_exceptions_dlg""suppress_handled_exceptions_dlg""suppress_handled_exceptions_dlg":
-
Returns whether the error dialog is suppressed that is by
default opened for exceptions that are thrown during program
execution and that are enclosed by a trytryTrytryTryTry-catchcatchCatchcatchCatchCatch block
and can therefore be handled by an exception handler.
This option is persistently stored in the HDevelop.ini file and
can be configured via the Preferences dialog / General Options /
Experienced Users.
This operator is not supported for code export.
Selection of the preferences.
Default value:
'graphics_window_context_menu'
"graphics_window_context_menu"
"graphics_window_context_menu"
"graphics_window_context_menu"
"graphics_window_context_menu"
"graphics_window_context_menu"
List of values: 'graphics_window_context_menu'"graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu""graphics_window_context_menu", 'graphics_window_mouse_wheel'"graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel""graphics_window_mouse_wheel", 'graphics_window_tool_tip'"graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip""graphics_window_tool_tip", 'suppress_handled_exception_dlg'"suppress_handled_exception_dlg""suppress_handled_exception_dlg""suppress_handled_exception_dlg""suppress_handled_exception_dlg""suppress_handled_exception_dlg"
Values of the selected preferences.
dev_set_preferencesdev_set_preferencesDevSetPreferencesdev_set_preferencesDevSetPreferencesDevSetPreferences
Foundation