mirror of
https://github.com/brl/mutter.git
synced 2024-11-25 09:30:45 -05:00
Export the functions to control demands_attention
Plugins can want a finer grained control over this. https://bugzilla.gnome.org/show_bug.cgi?id=616050
This commit is contained in:
parent
edcb351107
commit
e9fbe4b2c1
@ -610,10 +610,6 @@ void meta_window_stack_just_below (MetaWindow *window,
|
||||
void meta_window_set_user_time (MetaWindow *window,
|
||||
guint32 timestamp);
|
||||
|
||||
void meta_window_set_demands_attention (MetaWindow *window);
|
||||
|
||||
void meta_window_unset_demands_attention (MetaWindow *window);
|
||||
|
||||
void meta_window_update_icon_now (MetaWindow *window);
|
||||
|
||||
void meta_window_update_role (MetaWindow *window);
|
||||
|
@ -92,6 +92,9 @@ const char * meta_window_get_wm_class_instance (MetaWindow *window);
|
||||
/* Return whether the window would be showing if we were on its workspace */
|
||||
gboolean meta_window_showing_on_its_workspace (MetaWindow *window);
|
||||
|
||||
void meta_window_set_demands_attention (MetaWindow *window);
|
||||
void meta_window_unset_demands_attention (MetaWindow *window);
|
||||
|
||||
const char* meta_window_get_startup_id (MetaWindow *window);
|
||||
void meta_window_change_workspace_by_index (MetaWindow *window,
|
||||
gint space_index,
|
||||
|
Loading…
Reference in New Issue
Block a user