mirror of
https://github.com/brl/mutter.git
synced 2024-11-25 17:40:40 -05:00
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
This commit is contained in:
parent
a62b3c8b29
commit
4e66c5dc6c
@ -1,3 +1,8 @@
|
|||||||
|
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>
|
2002-07-06 Havoc Pennington <hp@pobox.com>
|
||||||
|
|
||||||
Apply blackc@speakeasy.net patch, bug #83940, to do
|
Apply blackc@speakeasy.net patch, bug #83940, to do
|
||||||
|
@ -628,6 +628,7 @@ struct _MetaSelectWorkspaceClass
|
|||||||
static GType meta_select_workspace_get_type (void) G_GNUC_CONST;
|
static GType meta_select_workspace_get_type (void) G_GNUC_CONST;
|
||||||
|
|
||||||
#define SELECT_OUTLINE_WIDTH 2
|
#define SELECT_OUTLINE_WIDTH 2
|
||||||
|
#define MINI_WORKSPACE_WIDTH 48
|
||||||
|
|
||||||
static GtkWidget*
|
static GtkWidget*
|
||||||
selectable_workspace_new (MetaWorkspace *workspace)
|
selectable_workspace_new (MetaWorkspace *workspace)
|
||||||
@ -641,8 +642,8 @@ selectable_workspace_new (MetaWorkspace *workspace)
|
|||||||
|
|
||||||
/* account for select rect */
|
/* account for select rect */
|
||||||
gtk_widget_set_size_request (widget,
|
gtk_widget_set_size_request (widget,
|
||||||
META_ICON_WIDTH + SELECT_OUTLINE_WIDTH * 2,
|
MINI_WORKSPACE_WIDTH + SELECT_OUTLINE_WIDTH * 2,
|
||||||
META_ICON_WIDTH * screen_aspect + SELECT_OUTLINE_WIDTH * 2);
|
MINI_WORKSPACE_WIDTH * screen_aspect + SELECT_OUTLINE_WIDTH * 2);
|
||||||
|
|
||||||
META_SELECT_WORKSPACE (widget)->workspace = workspace;
|
META_SELECT_WORKSPACE (widget)->workspace = workspace;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user