Is there a way to change the size of the font in the error console?

[Ofnuts]

As title says. Is there a specific theme setting for this or will it change the font in many other places?

[Kevin]

I think it might be possible as I can change the color of the text.

I'll try and have a look later today

[Kevin]

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.

[Ofnuts]

(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(*)

(*) Methinks sir wants a DS3 GT

[Kevin]

I was remembering amber phosphor serial terminals: http://www.club.cc.cmu.edu/~lroop/kitchen-terminal2.jpg