Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Is there a way to change the size of the font in the error console?
#1
As title says. Is there a specific theme setting for this or will it change the font in many other places?
Reply
#2
I think it might be possible as I can change the color of the text.

I'll try and have a look later today
Reply
#3
And the answer is, yes you can:
   

You just need this in the gtkrc for the theme:
Code:
style "errorview"
{
  base[NORMAL] = "#202020"
  text[NORMAL] = "#ff8000"          # make the warning messages stand out by making them orange
  font_name = "sans, 20"
}

widget "*GimpErrorConsole*GtkScrolledWindow*"   style:highest "errorview" # specifically for the scrolled window on the error console

The widget specification is specifically targeting just the error console, so it's shouldn't have any side effects elsewhere.
Reply
#4
(12-03-2016, 07:34 PM)Kevin Wrote:
Code:
style "errorview"
{
  base[NORMAL] = "#202020"
  text[NORMAL] = "#ff8000"          # make the warning messages stand out by making them orange
  font_name = "sans, 20"
}

widget "*GimpErrorConsole*GtkScrolledWindow*"   style:highest "errorview" # specifically for the scrolled window on the error console

The widget specification is specifically targeting just the error console, so it's shouldn't have any side effects elsewhere.

Works like a charm.... used a slightly less gaudy color scheme though(*) Smile

(*) Methinks sir wants a DS3 GT Smile
Reply
#5
I was remembering amber phosphor serial terminals: http://www.club.cc.cmu.edu/~lroop/kitchen-terminal2.jpg
Reply


Forum Jump: