Are the font and font size configurable in Flux?
I don't think there is any hooks to change the fonts used by the SWT widgets in general.
The text editor is configurable via "etc/fluxText/syntax.fog" - look around line 88.
Thanks, exactly what I needed.
Login or Signup to reply.
lbertrand Wed 17 Mar 2010
Are the font and font size configurable in Flux?
brian Wed 17 Mar 2010
I don't think there is any hooks to change the fonts used by the SWT widgets in general.
The text editor is configurable via "etc/fluxText/syntax.fog" - look around line 88.
lbertrand Wed 17 Mar 2010
Thanks, exactly what I needed.