lookingGlass: Get font from GConf

Instead of using "Monospace", pick the users configured monospace font
name up from GConf. (This is a nice touch, but is more done here to
demonstrate that we can do it rather than for any great utility.)

https://bugzilla.gnome.org/show_bug.cgi?id=591245
This commit is contained in:
Owen W. Taylor 2009-09-21 20:13:00 -04:00
parent d4304495c6
commit 1c7c53d19f
2 changed files with 20 additions and 1 deletions

View File

@ -70,7 +70,6 @@ StScrollBar StButton#vhandle:hover
padding: 4px; padding: 4px;
border: 1px solid rgba(0,0,172,0.85); border: 1px solid rgba(0,0,172,0.85);
border-radius: 4px; border-radius: 4px;
font-family: Monospace;
color: #88ff66; color: #88ff66;
} }

View File

@ -306,6 +306,13 @@ LookingGlass.prototype = {
this.actor = new St.BoxLayout({ name: "LookingGlassDialog", this.actor = new St.BoxLayout({ name: "LookingGlassDialog",
vertical: true, vertical: true,
visible: false }); visible: false });
let gconf = Shell.GConf.get_default();
gconf.watch_directory("/desktop/gnome/interface");
gconf.connect("changed::/desktop/gnome/interface/monospace_font_name",
Lang.bind(this, this._updateFont));
this._updateFont();
global.stage.add_actor(this.actor); global.stage.add_actor(this.actor);
let toolbar = new St.BoxLayout({ name: "Toolbar" }); let toolbar = new St.BoxLayout({ name: "Toolbar" });
@ -410,6 +417,19 @@ LookingGlass.prototype = {
})); }));
}, },
_updateFont: function() {
let gconf = Shell.GConf.get_default();
let fontName = gconf.get_string("/desktop/gnome/interface/monospace_font_name");
// This is mishandled by the scanner - should by Pango.FontDescription_from_string(fontName);
// https://bugzilla.gnome.org/show_bug.cgi?id=595889
let fontDesc = Pango.Font.description_from_string(fontName);
// We ignore everything but size and style; you'd be crazy to set your system-wide
// monospace font to be bold/oblique/etc. Could easily be added here.
this.actor.style =
'font-size: ' + fontDesc.get_size() / 1024. + (fontDesc.get_size_is_absolute() ? 'px' : 'pt') + ';'
+ 'font-family: "' + fontDesc.get_family() + '";';
},
_readHistory: function () { _readHistory: function () {
if (!this._historyFile.query_exists(null)) if (!this._historyFile.query_exists(null))
return; return;