[Gambas-bugtracker] Bug #2301: IDE preferences, editor font is a total mess

bugtracker at gambaswiki.org bugtracker at gambaswiki.org
Mon Jul 5 20:40:57 CEST 2021

Previous message (by thread): [Gambas-bugtracker] Bug #2301: IDE preferences, editor font is a total mess
Next message (by thread): [Gambas-bugtracker] Bug #2301: IDE preferences, editor font is a total mess
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://gambaswiki.org/bugtracker/edit?object=BUG.2301&from=L21haW4-

Comment #3 by Benoît MINISINI:

I have no problem at all.

Please describe what to do precisely to reproduce the bug, without mixing problems.

Previous message (by thread): [Gambas-bugtracker] Bug #2301: IDE preferences, editor font is a total mess
Next message (by thread): [Gambas-bugtracker] Bug #2301: IDE preferences, editor font is a total mess
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Bugtracker mailing list