1. 2014-11-15 Re: [Gambas-user] How to change Fontsize in IDE gambas-us rolf 2. 2014-11-15 Re: [Gambas-user] How to change Fontsize in IDE gambas-us Tobias Boege 3. 2014-11-15 [Gambas-user] How to change Fontsize in IDE gambas-us rolf