3bbdc1e1e1
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 |
||
---|---|---|
.. | ||
theme | ||
add-workspace.svg | ||
app-well-glow.png | ||
back.svg | ||
close-black.svg | ||
close.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
info.svg | ||
magnifier.svg | ||
Makefile.am | ||
remove-workspace.svg |