by roundabout, Thursday, 15 November 2018, 15:46:34 (1542296794), pushed by roundabout, Sunday, 11 May 2025, 13:22:29 (1746969749)
Author identity: nana-4 <hnmaigo@gmail.com>
a334f0b0315407461d48270e4cc1ea1dd30e7d92
src/gtk-2.0/main.rc.hidpi
@@ -21,7 +21,7 @@ style "default" {
GtkToolbar::internal-padding = 4
GtkToolButton::icon-spacing = 8
GtkWidget::tooltip-radius = 4
GtkWidget::tooltip-radius = 8
GtkWidget::tooltip-alpha = 230
GtkWidget::new-tooltip-style = 1 #for compatibility
@@ -681,7 +681,7 @@ style "default" {
image {
function = FOCUS
file = "assets/focus.png"
border = {4, 4, 4, 4}
border = {10, 10, 10, 10} # Super strange, {8, 8, 8, 8} does not work properly...
stretch = TRUE
}