-
Vincent Untz authored
2007-07-07 Vincent Untz <vuntz@gnome.org> Be a bit clever and show/hide relevant stuff in the properties dialog depending on the window manager. Fix bug #345153. * workspace-switcher.c: (pager_update): only set the display mode if we're running metacity. Else, we don't know if the workspaces have useful names, so it's probably useless. (update_properties_for_wm): new, hide/show some stuff in the properties dialog, resize the properties dialog and update the pager configuration because we have a new wm (window_manager_changed): new, for WM changes (applet_realized): connect to the wm-changed signal (applet_unrealized): new, because it's better to have this (workspace_switcher_applet_fill): init wm field, connect to the unrealize signal (update_workspaces_model): check that the properties dialog exist (properties_dialog_destroyed): new, set to NULL all our fields related to the dialog (delete_event): destroy the dialog (response_cb): ditto (close_dialog): ditto (setup_dialog): updated, connect to the destroy signal, and show/hide stuff depending on the wm * workspace-switcher.glade: use GtkFrame * workspace-switcher.schemas.in: add a small note for display_workspace_names telling that it only works for metacity svn path=/trunk/; revision=10538
250492f5