Commit 81f0db23 authored by Andrew Shadura's avatar Andrew Shadura

Add a patch to fix rendering with GTK+ 3.8.

parent 4b059d89
From: Andrew Shadura <andrewsh@debian.org>
Subject: Some obvious fixes for GTK+ 3.8.
--- a/gtk-3.0/gtk-widgets.css
+++ b/gtk-3.0/gtk-widgets.css
@@ -416,7 +416,7 @@
border-color: @border_color;
border-style: solid;
border-radius: 3px;
- background-color: @theme_base_color;
+ background-color: @theme_bg_color;
padding: 0;
}
@@ -1057,7 +1057,7 @@
.menu {
background-color: @menu_bg_color;
color: @menu_fg_color;
- padding: 0;
+ padding: 1px;
border-style: solid;
border-width: 1px;
border-color: @menu_border_color;
@@ -1065,7 +1065,7 @@
.menu.button {
background-image: none;
- background-color: @theme_base_color;
+ background-color: @menu_bg_color;
color: @internal_element_color;
border-image: none;
@@ -1092,7 +1092,7 @@
/* this controls the general appearance of the menubar */
.menubar {
border-style: none;
- padding: 4px;
+ padding: 1px;
-GtkWidget-window-dragging: true;
-GtkMenuBar-internal-padding: 1;
background-image: -gtk-gradient (linear,
@@ -1106,6 +1106,7 @@
.menubar .menuitem {
border-style: none;
padding: 3px 5px;
+ background-color: transparent;
}
.menubar .menuitem:hover {
@@ -1130,6 +1131,7 @@
.menu .menuitem {
-GtkMenuItem-arrow-scaling: 0.5;
+ background-color: @menu_bg_color;
padding: 4px;
}
01-fix-for-gtk-3.8.patch
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment