diff options
author | Philip Chimento <philip@endlessm.com> | 2013-08-07 17:38:59 -0700 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2013-08-07 17:55:47 -0700 |
commit | 1bd3a6f7dddc0b5146067f65d2d3d9c95b26fa23 (patch) | |
tree | dc9c7d71684f0b4515234981a8bc6b765bd20fe8 /wikipedia | |
parent | c6875cc9b66a5cb0389202a0f1eccfd175c82b9a (diff) |
Add scrollbar to category description
And set its styles (no specs available)! Add right margin to the text
view so that the scrollbar is not right up against the text.
[endlessm/eos-sdk#249]
Diffstat (limited to 'wikipedia')
-rw-r--r-- | wikipedia/PrebuiltCategoryPage.js | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/wikipedia/PrebuiltCategoryPage.js b/wikipedia/PrebuiltCategoryPage.js index 7222443..5ee3e23 100644 --- a/wikipedia/PrebuiltCategoryPage.js +++ b/wikipedia/PrebuiltCategoryPage.js @@ -98,19 +98,23 @@ const PrebuiltCategoryPage = new Lang.Class({ this._description_text_view.set_pixels_inside_wrap(10); this._description_text_view.set_wrap_mode(Gtk.WrapMode.WORD); + this._description_text_view.right_margin = 20; this._description_scrolled_window = new Gtk.ScrolledWindow({ + name: 'category_scrolled_window', halign: Gtk.Align.FILL }); this._description_scrolled_window.add(this._description_text_view); - this._description_scrolled_window.set_policy(Gtk.PolicyType.ALWAYS, Gtk.PolicyType.ALWAYS); + this._description_scrolled_window.set_policy(Gtk.PolicyType.NEVER, + Gtk.PolicyType.AUTOMATIC); this._inner_grid = new Gtk.Grid({ orientation: Gtk.Orientation.VERTICAL, expand: true, margin_left: 45, - margin_right: 45 + margin_right: 45, + margin_bottom: 15 }); this.parent(props); |