diff options
Diffstat (limited to 'src/ui/tabpopup.c')
| -rw-r--r-- | src/ui/tabpopup.c | 12 | 
1 files changed, 6 insertions, 6 deletions
| diff --git a/src/ui/tabpopup.c b/src/ui/tabpopup.c index 06ee84e9..263a6a9d 100644 --- a/src/ui/tabpopup.c +++ b/src/ui/tabpopup.c @@ -912,7 +912,7 @@ struct _MetaSelectWorkspaceClass  static GType meta_select_workspace_get_type (void) G_GNUC_CONST;  #define SELECT_OUTLINE_WIDTH 2 -#define MINI_WORKSPACE_SCALE 2 +#define MINI_WORKSPACE_SCREEN_FRACTION 0.33  static GtkWidget*  selectable_workspace_new (MetaWorkspace *workspace, int entry_count) @@ -929,20 +929,20 @@ selectable_workspace_new (MetaWorkspace *workspace, int entry_count)    if (workspace->screen->rect.width < workspace->screen->rect.height)    {      mini_workspace_ratio = (double) workspace->screen->rect.width / (double) workspace->screen->rect.height; -    mini_workspace_height = (int) ((double) current->rect.height / entry_count - SELECT_OUTLINE_WIDTH * 2); +    mini_workspace_height = (int) ((double) current->rect.height * MINI_WORKSPACE_SCREEN_FRACTION / entry_count);      mini_workspace_width = (int) ((double) mini_workspace_height * mini_workspace_ratio);    }    else    {      mini_workspace_ratio = (double) workspace->screen->rect.height / (double) workspace->screen->rect.width; -    mini_workspace_width = (int) ((double) current->rect.width / entry_count - SELECT_OUTLINE_WIDTH * 2); +    mini_workspace_width = (int) ((double) current->rect.width * MINI_WORKSPACE_SCREEN_FRACTION / entry_count);      mini_workspace_height = (int) ((double) mini_workspace_width * mini_workspace_ratio);    }    /* account for select rect */    gtk_widget_set_size_request (widget, -                               mini_workspace_width / MINI_WORKSPACE_SCALE, -                               mini_workspace_height / MINI_WORKSPACE_SCALE); +                               mini_workspace_width + SELECT_OUTLINE_WIDTH * 2, +                               mini_workspace_height + SELECT_OUTLINE_WIDTH * 2);    META_SELECT_WORKSPACE (widget)->workspace = workspace; @@ -1114,7 +1114,7 @@ meta_select_workspace_draw (GtkWidget *widget,        gtk_style_context_set_state (context,                                     gtk_widget_get_state_flags (widget)); -      gtk_style_context_lookup_color (context, "color", &color); +      meta_gtk_style_get_light_color (context, GTK_STATE_FLAG_SELECTED, &color);        cairo_set_line_width (cr, SELECT_OUTLINE_WIDTH);        cairo_set_source_rgb (cr, color.red, color.green, color.blue); | 
