A blog of (mostly) linux-related tricks I've found in my way
Wednesday, February 22, 2017
Change theme for the embedded terminal in gedit
The embedded terminal in gedit fetchs its theme from gnome-terminal. So that program must be first installed, then when it is configurated with a given profile theme, the same settings are used by gedit.
No comments:
Post a Comment