diff options
author | mattdangerw <mattdangerw@gmail.com> | 2013-10-22 11:08:57 -0700 |
---|---|---|
committer | mattdangerw <mattdangerw@gmail.com> | 2013-10-22 11:08:57 -0700 |
commit | fb50c457ab4f2594208c74931e42ad4310368dcf (patch) | |
tree | e90fe6e60486aabb82139d60ac2598b690d3758a /wikipedia/widgets/category_button.js | |
parent | c602cb4de449684f5fab14b6eddd33c73f165141 (diff) | |
parent | e9519cb483704cc9158cb3646c80fabe1e57aa4b (diff) |
Merge pull request #365 from endlessm/issues/361
wikipedia: Use Lato fonts
Diffstat (limited to 'wikipedia/widgets/category_button.js')
-rw-r--r-- | wikipedia/widgets/category_button.js | 10 |
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 |