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

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

+- Gimp-Forum.net (https://www.gimp-forum.net)
+-- Forum: GIMP (https://www.gimp-forum.net/Forum-GIMP)
+--- Forum: General questions (https://www.gimp-forum.net/Forum-General-questions)
+--- Thread: Is there a way to change the size of the font in the error console? (/Thread-Is-there-a-way-to-change-the-size-of-the-font-in-the-error-console)

Is there a way to change the size of the font in the error console? - Ofnuts - 12-02-2016

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

RE: Is there a way to change the size of the font in the error console? - Kevin - 12-03-2016

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

I'll try and have a look later today

RE: Is there a way to change the size of the font in the error console? - Kevin - 12-03-2016

And the answer is, yes you can:
[attachment=168]

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.

RE: Is there a way to change the size of the font in the error console? - Ofnuts - 12-03-2016

(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

RE: Is there a way to change the size of the font in the error console? - Kevin - 12-05-2016

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