diff options
| author | Havoc Pennington <hp@pobox.com> | 2002-07-06 19:11:57 +0000 |
|---|---|---|
| committer | Havoc Pennington <hp@src.gnome.org> | 2002-07-06 19:11:57 +0000 |
| commit | 4e66c5dc6ccc3bacc6b33bb722166a6b1cfe35f3 (patch) | |
| tree | 2643ff41016cf2ea4773d2c930bd75f9e53393e7 | |
| parent | a62b3c8b29b09665c5589b168f3bbb9302354f32 (diff) | |
| download | metacity-4e66c5dc6ccc3bacc6b33bb722166a6b1cfe35f3.tar.gz | |
increase the size of the mini workspaces
2002-07-06 Havoc Pennington <hp@pobox.com>
* src/tabpopup.c (selectable_workspace_new): increase the size of
the mini workspaces
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | src/tabpopup.c | 5 |
2 files changed, 8 insertions, 2 deletions
@@ -1,5 +1,10 @@ 2002-07-06 Havoc Pennington <hp@pobox.com> + * src/tabpopup.c (selectable_workspace_new): increase the size of + the mini workspaces + +2002-07-06 Havoc Pennington <hp@pobox.com> + Apply blackc@speakeasy.net patch, bug #83940, to do mini-workspaces similar to the pager, when switching spaces. diff --git a/src/tabpopup.c b/src/tabpopup.c index 64eb6ae8..116e42e5 100644 --- a/src/tabpopup.c +++ b/src/tabpopup.c @@ -628,6 +628,7 @@ struct _MetaSelectWorkspaceClass static GType meta_select_workspace_get_type (void) G_GNUC_CONST; #define SELECT_OUTLINE_WIDTH 2 +#define MINI_WORKSPACE_WIDTH 48 static GtkWidget* selectable_workspace_new (MetaWorkspace *workspace) @@ -641,8 +642,8 @@ selectable_workspace_new (MetaWorkspace *workspace) /* account for select rect */ gtk_widget_set_size_request (widget, - META_ICON_WIDTH + SELECT_OUTLINE_WIDTH * 2, - META_ICON_WIDTH * screen_aspect + SELECT_OUTLINE_WIDTH * 2); + MINI_WORKSPACE_WIDTH + SELECT_OUTLINE_WIDTH * 2, + MINI_WORKSPACE_WIDTH * screen_aspect + SELECT_OUTLINE_WIDTH * 2); META_SELECT_WORKSPACE (widget)->workspace = workspace; |