Font size should be configurable

[GoogleCodeExporter]

Tja, dus ik open mijn netwerkje op Andriy's computer, maar die heeft een
megascherm met een megaresolutie. En nu kan ik mijn blokjes niet meer
lezen. Als ik inzoom kan ik ze wel lezen, maar is het overzicht van het
netwerk kwijt. De lettertypes moeten dus verstelbaar zijn, en de grootte
van de groene connectionblokjes moet meeschalen. Alsjeblieft :).

Original issue reported on code.google.com by [email protected] on 19 Aug 2008 at 7:49

Attachments:

• smallfont.JPG

[GoogleCodeExporter]

Mr Cricket, in de screenshot gebruik je een hele oude versie van DeVIDE.  Is het
probleem ook aanwezig in 8.5 en nieuwer?

Als ik jou goed begrijp, wil je dat de relatieve grootte van de blokjes ook
schaalbaar is, klopt dat?

Original comment by cpbotha on 5 Sep 2008 at 10:22

[GoogleCodeExporter]

Uhuh. wellicht dat het idd ook een oude devide versie was, het stond immers op
andriys compu.  Maar goed, het is wel een erg specifieke wens, want wie werkt 
er nou
op een 23" scherm?! Ik zou er niet teveel tijd aan besteden. 

Original comment by [email protected] on 6 Sep 2008 at 3:32