patch: prefs.vw_fontname as fltk ui's default font
I was changing the font in a few more places that can take arbitrary user text -- and then having to change it for neighbouring things so that the difference isn't too jarring -- and I reached the point where it seemed like it may be best just to change the font for everything.
On Wed, Oct 22, 2008 at 02:27:23PM +0000, corvid wrote:
I was changing the font in a few more places that can take arbitrary user text -- and then having to change it for neighbouring things so that the difference isn't too jarring -- and I reached the point where it seemed like it may be best just to change the font for everything.
I like it! We could also remove the places where the font has been set already. Cheers, Johannes PS: In case someone needs it we could add a ui font option in dillorc and default to fw_fontname.
Johannes wrote:
On Wed, Oct 22, 2008 at 02:27:23PM +0000, corvid wrote:
I was changing the font in a few more places that can take arbitrary user text -- and then having to change it for neighbouring things so that the difference isn't too jarring -- and I reached the point where it seemed like it may be best just to change the font for everything.
I like it! We could also remove the places where the font has been set already.
Yeah, I figured I'd rip out the existing ones later in a patch to Jorge if this one goes over well. (except source, which I'm accustomed to seeing in a fixed-width font) For me, there's no change by default because dejavu sans is my default sans-serif font in fontconfig and I use it for dillo unless I want to view Asian characters for some reason.
PS: In case someone needs it we could add a ui font option in dillorc and default to fw_fontname.
Why fw?
On Wed, Oct 22, 2008 at 04:09:42PM +0000, corvid wrote:
Johannes wrote:
On Wed, Oct 22, 2008 at 02:27:23PM +0000, corvid wrote:
I was changing the font in a few more places that can take arbitrary user text -- and then having to change it for neighbouring things so that the difference isn't too jarring -- and I reached the point where it seemed like it may be best just to change the font for everything.
I like it! We could also remove the places where the font has been set already.
Yeah, I figured I'd rip out the existing ones later in a patch to Jorge if this one goes over well. (except source, which I'm accustomed to seeing in a fixed-width font)
For me, there's no change by default because dejavu sans is my default sans-serif font in fontconfig and I use it for dillo unless I want to view Asian characters for some reason.
PS: In case someone needs it we could add a ui font option in dillorc and default to fw_fontname.
Why fw?
I meant vw...
On Wed, Oct 22, 2008 at 05:27:42PM +0200, Johannes Hofmann wrote:
On Wed, Oct 22, 2008 at 02:27:23PM +0000, corvid wrote:
I was changing the font in a few more places that can take arbitrary user text -- and then having to change it for neighbouring things so that the difference isn't too jarring -- and I reached the point where it seemed like it may be best just to change the font for everything.
I like it! We could also remove the places where the font has been set already.
Committed.
PS: In case someone needs it we could add a ui font option in dillorc and default to fw_fontname.
An ui_font_factor may be necessary. More in a next post... -- Cheers Jorge.-
participants (3)
-
corvid＠lavabit.com -
jcid＠dillo.org -
Johannes.Hofmann＠gmx.de