Added timestamp parameter to meta_window_change_workspace_by_index().

This commit is contained in:
Tomas Frydrych 2008-11-25 15:34:07 +00:00
parent c1928ead7c
commit 04619df818
2 changed files with 6 additions and 3 deletions

View File

@ -4782,7 +4782,8 @@ meta_window_property_notify (MetaWindow *window,
void
meta_window_change_workspace_by_index (MetaWindow *window,
gint space_index,
gboolean append)
gboolean append,
guint32 timestamp)
{
MetaWorkspace *workspace;
MetaScreen *screen;
@ -4800,7 +4801,8 @@ meta_window_change_workspace_by_index (MetaWindow *window,
if (!workspace && append)
{
guint32 timestamp = meta_display_get_current_time (window->display);
if (timestamp == CurrentTime)
timestamp = meta_display_get_current_time_roundtrip (window->display);
workspace = meta_screen_append_new_workspace (screen, FALSE, timestamp);
}

View File

@ -70,5 +70,6 @@ gboolean meta_window_showing_on_its_workspace (MetaWindow *window);
const char* meta_window_get_startup_id (MetaWindow *window);
void meta_window_change_workspace_by_index (MetaWindow *window,
gint space_index,
gboolean append);
gboolean append,
guint32 timestamp);
#endif