Closed tromey closed 9 years ago
Let the user set the gtksourceview theme, and persist the setting
Done.
Let the user set the gtksourceview theme, and persist the setting