From 53469212718a2d636df8bfae0fd87a5a214e9604 Mon Sep 17 00:00:00 2001 From: Ivan Yarcev Date: Thu, 11 Jan 2024 15:59:12 +0600 Subject: [PATCH] Menu borders resize --- source/ubl-settings-usergroups.c | 1 + ubl-settings-usergroups.css | 8 ++++++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/source/ubl-settings-usergroups.c b/source/ubl-settings-usergroups.c index 497a5a2..dab0a8c 100644 --- a/source/ubl-settings-usergroups.c +++ b/source/ubl-settings-usergroups.c @@ -1562,6 +1562,7 @@ main_window *yon_main_window_complete(main_window *widgets){ widgets->GroupsTree=yon_gtk_builder_get_widget(builder,"GroupsTree"); widgets->MainNotebook=yon_gtk_builder_get_widget(builder,"MainNotebook"); + gtk_style_context_add_class(gtk_widget_get_style_context(widgets->DocumentationMenuItem),"menuitemmiddlemargin"); if (main_config.lock_load_global == 1){ gtk_widget_set_sensitive(widgets->LoadGlobalMenuItem,0); diff --git a/ubl-settings-usergroups.css b/ubl-settings-usergroups.css index 2ec2191..2ab25e1 100644 --- a/ubl-settings-usergroups.css +++ b/ubl-settings-usergroups.css @@ -39,6 +39,10 @@ background:transparent; border-right-width:inherit; } +.menuitemmiddlemargin{ + margin-top: 4px; +} + .menuitemtop{ margin-bottom:0px; border-color:inherit; @@ -47,7 +51,7 @@ background:transparent; border-right-width:inherit; } .menuitemtop *{ - margin:2px 2px 0 2px; + margin:4px 2px 0 2px; padding: 3px 10px 3px 5px; border:transparent; } @@ -82,7 +86,7 @@ background:transparent; } .menuitemtop:hover* { - margin:2px 2px 0 2px; + margin:4px 2px 0 2px; padding: 3px 10px 3px 5px; background:@theme_selected_bg_color; border-radius:2px;