already on another monitor) */
extern ObPlaceMonitor config_place_monitor;
+/*! Place dialogs and stuff on this monitor. Index starts at 1. If this is
+ 0, then use the config_primary_monitor instead. */
+extern guint config_primary_monitor_index;
+/*! Where to place dialogs and stuff if it is not specified by index. */
+extern ObPlaceMonitor config_primary_monitor;
+
/*! User-specified margins around the edge of the screen(s) */
extern StrutPartial config_margins;
extern gboolean config_menu_middle;
/*! Delay before opening a submenu in milliseconds */
extern guint config_submenu_show_delay;
+/*! Delay before closing a submenu in milliseconds */
+extern guint config_submenu_hide_delay;
/*! Show icons in client_list_menu */
extern gboolean config_menu_client_list_icons;
/*! Show manage desktops in client_list_menu */
void config_app_settings_copy_non_defaults(const ObAppSettings *src,
ObAppSettings *dest);
-
#endif