From: Not Zed Date: Thu, 14 Jan 2021 13:33:12 +0000 (+1030) Subject: Fixed the menu border. X-Git-Url: https://code.zedzone.au/cvs?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=workbench-2.0 Fixed the menu border. Removed tooltips entirely. Fiddled with the scrollbar and other bits. --- diff --git a/gtk-3.0/widgets/menu.css b/gtk-3.0/widgets/menu.css index 76fd0ee..7618ecf 100644 --- a/gtk-3.0/widgets/menu.css +++ b/gtk-3.0/widgets/menu.css @@ -1,3 +1,6 @@ + +/* TODO: get rid of the 3d look here */ + menubar { background: @bg_color; color: @fg_color; @@ -19,11 +22,14 @@ menu { border-right-color: @border_color_dark; } - menuitem { padding: 1px 6px 1px 6px; } +.popup decoration { + padding: 0px; + border-width: 0px; +} menu menuitem { padding: 1px; diff --git a/gtk-3.0/widgets/popover.css b/gtk-3.0/widgets/popover.css index 752a0be..6f0b086 100644 --- a/gtk-3.0/widgets/popover.css +++ b/gtk-3.0/widgets/popover.css @@ -28,3 +28,10 @@ toolbar.osd { border-radius: 0px; padding: 2em; } + +/* fuck, doesn't work */ +popover { + animation: none; + transition: none; + transition-property: none; +} diff --git a/gtk-3.0/widgets/scrollbar.css b/gtk-3.0/widgets/scrollbar.css index ed08d90..250fc94 100644 --- a/gtk-3.0/widgets/scrollbar.css +++ b/gtk-3.0/widgets/scrollbar.css @@ -7,18 +7,21 @@ scrolledwindow { } scrollbar { - -GtkScrollbar-has-backward-stepper: true; + -GtkScrollbar-has-backward-stepper: false; -GtkScrollbar-has-forward-stepper: true; + -GtkScrollbar-has-secondary-backward-stepper: true; + -GtkScrollbar-has-secondary-forward-stepper: false; background-color: @bg_color_halfblack; border-style: solid; + border-style: none; border-width: 1px; - padding: 1px; + padding: 0px; border-top-color: @border_color_dark; border-left-color: @border_color_dark; border-bottom-color: @border_color_light; border-right-color: @border_color_light; - margin: 1px 0px; + margin: 0px; } scrollbar slider { @@ -29,8 +32,10 @@ scrollbar slider { border-bottom-color: @border_color_dark; border-right-color: @border_color_dark; background-color: @bg_color; - min-width: 14px; - min-height: 14px; + min-width: 10px; + min-height: 10px; + padding: 0px; + margin: 2px; } scrollbar button { @@ -41,9 +46,9 @@ scrollbar button { border-bottom-color: @border_color_dark; border-right-color: @border_color_dark; background-color: @bg_color; - padding: 2px; - min-width: 10px; - min-height: 10px; + padding: 0px; + min-width: 12px; + min-height: 12px; } @@ -52,7 +57,7 @@ scrollbar slider:active { } scrollbar through { - border: 0; + border-style: none; } scrollbar button:disabled { @@ -80,4 +85,3 @@ scrollbar.horizontal button.up { scrollbar.horizontal button.down { -gtk-icon-source: url('assets/arrow_right.png'); } - diff --git a/gtk-3.0/widgets/tooltip.css b/gtk-3.0/widgets/tooltip.css index 21a2dde..3992f44 100644 --- a/gtk-3.0/widgets/tooltip.css +++ b/gtk-3.0/widgets/tooltip.css @@ -1,6 +1,15 @@ + +tooltip { + opacity: 0; +} + tooltip.background { background-color: @tooltip_bg_color; color: @tooltip_fg_color; padding: 0; border-width: 1px; } + +tooltip decoration { + padding: 0px; +}