Hello izidor,
I have linked the branch to the bug. The changes made are in GTG/gtgk/preferences.glade and GTG/gtgk/preferences.py . Have a look at the code and review it. If it is good i will add the line in editor.py to modify the font .
[Personal Interest] : What is the conference GUADEC all about ?
Hello izidor, preferences. glade and GTG/gtgk/ preferences. py . Have a look at the code and review it. If it is good i will add the line in editor.py to modify the font .
I have linked the branch to the bug. The changes made are in GTG/gtgk/
[Personal Interest] : What is the conference GUADEC all about ?
Best,
Abhiram