dev_get_preferences和dev_set_preferences经常一起使用。
'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':
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':
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':
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 try-catch 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.
参数目前仅能设置上述4个 。本文将对'suppress_handled_exceptions_dlg':进行讲解。
该参数的意思为是否阻止意外的对话框。如果设置为‘false’
则将会显示出一个错误的对话框。
选择抛出。出现下面情况：
如果设置成‘true’
将不会显示错误的对话框。直接默认为选择抛出HDevelop异常并继续程序。直接出现下面情况。
