diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-07-24 19:58:27 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-07-24 19:58:27 +0200 |
commit | 309d161f6d464fcea2de200bb3cb5a7cb784b6d3 (patch) | |
tree | a0d5ea02bfb3765191f2596aa8a7404f6b3a819c /src/gui/tipViewer.vala | |
parent | 45a3d7f0e2783d9898f017772583d31c1c9e0f03 (diff) |
New upstream version 0.7.1upstream/0.7.1
Diffstat (limited to 'src/gui/tipViewer.vala')
-rw-r--r-- | src/gui/tipViewer.vala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/gui/tipViewer.vala b/src/gui/tipViewer.vala index e484315..24b4ccc 100644 --- a/src/gui/tipViewer.vala +++ b/src/gui/tipViewer.vala @@ -1,5 +1,5 @@ ///////////////////////////////////////////////////////////////////////// -// Copyright (c) 2011-2016 by Simon Schneegans +// Copyright (c) 2011-2017 by Simon Schneegans // // This program is free software: you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by @@ -69,8 +69,6 @@ public class TipViewer : Gtk.Label { this.wrap = true; this.valign = Gtk.Align.END; this.set_use_markup(true); - - this.override_font(Pango.FontDescription.from_string("8")); } ///////////////////////////////////////////////////////////////////// @@ -155,7 +153,7 @@ public class TipViewer : Gtk.Label { next_index = GLib.Random.int_range(0, tips.length); } while (next_index == this.index); this.index = next_index; - this.label = tips[this.index]; + this.label = "<small>" + tips[this.index] + "</small>"; } } } |