void MultiMonitor_constructPreferences(PreferencesPage& page) { GtkWidget* primary_monitor = page.appendCheckBox("Multi Monitor", "Start on Primary Monitor", g_multimon_globals.m_bStartOnPrimMon); GtkWidget* popup = page.appendCheckBox( "", "Disable system menu on popup windows", LatchedBoolImportCaller(g_Multimon_enableSysMenuPopups), BoolExportCaller(g_Multimon_enableSysMenuPopups.m_latched) ); Widget_connectToggleDependency(popup, primary_monitor); }
void Interface_constructPreferences( PreferencesPage& page ){ #ifdef WIN32 page.appendCheckBox( "", "Default Text Editor", g_TextEditor_useWin32Editor ); #else { GtkWidget* use_custom = page.appendCheckBox( "Text Editor", "Custom", g_TextEditor_useCustomEditor ); GtkWidget* custom_editor = page.appendPathEntry( "Text Editor Command", g_TextEditor_editorCommand, true ); Widget_connectToggleDependency( custom_editor, use_custom ); } #endif }