From 4e66c5dc6ccc3bacc6b33bb722166a6b1cfe35f3 Mon Sep 17 00:00:00 2001 From: Havoc Pennington Date: Sat, 6 Jul 2002 19:11:57 +0000 Subject: [PATCH] increase the size of the mini workspaces 2002-07-06 Havoc Pennington * src/tabpopup.c (selectable_workspace_new): increase the size of the mini workspaces --- ChangeLog | 5 +++++ src/tabpopup.c | 5 +++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index bb1a0e407..85701963d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2002-07-06 Havoc Pennington + + * src/tabpopup.c (selectable_workspace_new): increase the size of + the mini workspaces + 2002-07-06 Havoc Pennington Apply blackc@speakeasy.net patch, bug #83940, to do diff --git a/src/tabpopup.c b/src/tabpopup.c index 64eb6ae8d..116e42e5c 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;