Closed multiSnow closed 3 years ago
Thanks for submitting this. I'll take a look at it tomorrow as there are some things I'd like to be changed in this PR and am exhausted from today's work. 13h shifts are not making me eager to look at more code :).
Sorry for the delay. Before I merge I'd like to ask few things in regard to this.
Using global variable so that the 'lookup' operation would done only once and the result, the name string of monospace font, could be used in VTE, file list, source viewer, and maybe other widget in the future.
I could not decide which file is better to place such a function. 'common.py' does not contain pygi module, and modules under 'tools' already as their own usage and has not relation with 'font'.
I think I'd prefer this be under common.py
if you don't mind moving it. Missing import is easily added.
Thank you!
In Gio.Settings.new:
This PR lookup 'org.gnome.desktop.interface' before load it, or use 'monospace 10' as system monospace font if 'org.gnome.desktop.interface' is not found (not in Gnome Desktop Environment).