notebook: prevent tab closebutton :hover to change metric

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 5723eeefe00b4f1480438682baa51d41227968ce..81b608d4e9140ed657cc31d4390853992c179d74 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1324,7 +1324,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
       &:backdrop { color: $backdrop_fg_color; }
     }
     .button { //tab close button
-      border: 1px solid transparent;
+      border: 2px solid transparent;
       @extend %undecorated_button;
       icon-shadow: none;
       transition: none;
@@ -1332,18 +1332,18 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
       &:hover {
         color:  $fg_color;
         @include button(hover, $edge: none);
-        border-width: 1px;
+        border-width: 2px;
         background-image: none;
         box-shadow: none;
       }
       &:active {
         @include button(active, $edge: none);
-        border-width: 1px;
+        border-width: 2px;
       }
-      &:backdrop {
+      &:backdrop, &:backdrop:hover {
         color: transparentize($backdrop_fg_color,0.7);
         border-color: transparent;
-        border-width: 1px;
+        border-width: 2px;
       }
       & > GtkImage { // this is a hack which makes tabs grow
         padding: 2px;

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 6a0df818d70970e95a2fcc6e3643383480e8268c..43241e7845cbcf434ef854a69b870bff92179de7 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1539,7 +1539,7 @@ GtkTreeView.view.progressbar {
       .notebook tab.active-page GtkLabel:backdrop, .notebook tab GtkLabel.active-page:backdrop {
         color: #000; }
     .notebook tab .button {
-      border: 1px solid transparent;
+      border: 2px solid transparent;
       icon-shadow: none;
       transition: none;
       color: rgba(0, 0, 0, 0.3); }
@@ -1551,7 +1551,7 @@ GtkTreeView.view.progressbar {
         background-color: #fff;
         border-color: #7f7f7f;
         background-image: none;
-        border-width: 1px;
+        border-width: 2px;
         background-image: none;
         box-shadow: none; }
       .notebook tab .button:active {
@@ -1561,11 +1561,11 @@ GtkTreeView.view.progressbar {
         color: white;
         background-color: black;
         border-color: #7f7f7f;
-        border-width: 1px; }
-      .notebook tab .button:backdrop {
+        border-width: 2px; }
+      .notebook tab .button:backdrop, .notebook tab .button:backdrop:hover {
         color: rgba(0, 0, 0, 0.3);
         border-color: transparent;
-        border-width: 1px; }
+        border-width: 2px; }
       .notebook tab .button > GtkImage {
         padding: 2px; }