From: Not Zed <notzed@gmail.com>
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;ds=sidebyside;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;
+}