summaryrefslogtreecommitdiff
path: root/wikipedia/widgets/category_button.js
diff options
context:
space:
mode:
Diffstat (limited to 'wikipedia/widgets/category_button.js')
-rw-r--r--wikipedia/widgets/category_button.js10
1 files changed, 6 insertions, 4 deletions
diff --git a/wikipedia/widgets/category_button.js b/wikipedia/widgets/category_button.js
index ade1f21..54f0b79 100644
--- a/wikipedia/widgets/category_button.js
+++ b/wikipedia/widgets/category_button.js
@@ -10,8 +10,10 @@ const CATEGORY_LABEL_LEFT_MARGIN = 25; // pixels
const CATEGORY_LABEL_BOTTOM_MARGIN = 20; // pixels
const CATEGORY_BUTTON_RIGHT_MARGIN = 20; // pixels
const CATEGORY_BUTTON_BOTTOM_MARGIN = 20; // pixels
-const CATEGORY_LABEL_BENTON_SANS_CORRECTION = 0; // pixels
-const CATEGORY_BUTTON_BENTON_SANS_CORRECTION = 10; // pixels
+// The following two are corrections because GTK 3.8 doesn't have baseline
+// alignment. Remove and align properly in GTK 3.10. FIXME
+const CATEGORY_LABEL_BASELINE_CORRECTION = 0; // pixels
+const CATEGORY_BUTTON_BASELINE_CORRECTION = 10; // pixels
const _HOVER_ARROW_URI = '/com/endlessm/wikipedia-domain/assets/category_hover_arrow.png';
const MAIN_CATEGORY_SCREEN_WIDTH_PERCENTAGE = 0.37;
@@ -71,7 +73,7 @@ const CategoryButton = new Lang.Class({
});
this._label = new Gtk.Label({
margin_left: CATEGORY_LABEL_LEFT_MARGIN,
- margin_bottom: CATEGORY_LABEL_BOTTOM_MARGIN - CATEGORY_LABEL_BENTON_SANS_CORRECTION,
+ margin_bottom: CATEGORY_LABEL_BOTTOM_MARGIN - CATEGORY_LABEL_BASELINE_CORRECTION,
hexpand: true,
halign: Gtk.Align.START,
xalign: 0.0, // deprecated Gtk.Misc properties; necessary because
@@ -80,7 +82,7 @@ const CategoryButton = new Lang.Class({
this._arrow = new Gtk.Image({
resource: _HOVER_ARROW_URI,
margin_right: CATEGORY_BUTTON_RIGHT_MARGIN,
- margin_bottom: CATEGORY_BUTTON_BOTTOM_MARGIN + CATEGORY_BUTTON_BENTON_SANS_CORRECTION,
+ margin_bottom: CATEGORY_BUTTON_BOTTOM_MARGIN + CATEGORY_BUTTON_BASELINE_CORRECTION,
halign: Gtk.Align.END,
valign: Gtk.Align.END,
opacity: 0