GUI widget adapt to font size

Dynamic-Book / drgeo

GNU Dr. Geo, a Dynamic Knowledge Model on geometry

https://www.gnu.org/s/dr-geo

GNU General Public License v3.0

18 stars 1 forks source link

GUI widget adapt to font size #19

Closed hilaire closed 4 months ago

hilaire commented 7 months ago

The whole GUI widget of DrGeo should adapt in size with the user preferences regarding font size.

hilaire commented 7 months ago

The DrGeo menu should then show choices of font size

hilaire commented 6 months ago

Should adapt to font size user preference:

[X] width of the wheel widget
[X] height of the status bar
[X] horizontal toolbar height
[X] circular toolbar radius
[x] style dialog: height of menu Morph for color, point style, line style, segment style
[X] width of lines in the canvas
[X] point size in the canvas
[x] police size of text in the canvas
[x] police size for object label

hilaire commented 6 months ago

Should we use :

a dedicated Theme?
preferences (ie DrGeoSystem preferences, check DrGPatform preferences instance var.)?
May be both in coordination
The size of the element in the canvas (point, line) are set in their specific Type (i.e. DrGTypePointSize, DrGTypeThickness,..)

Should we just use a scale factor to adjust screen size element depending the screen density?

Preference does not fit right, it intends settings the user may want to edit, to adjust to her taste whereas it is about readability on very high density screen. Should be more related to a dedicated Theme.

hilaire commented 6 months ago

So the idea is to extend the Theme class with DrGeo extension. The scaling could rely on the font point size set by the user or the system

FontFamily defaultPointSize

It is 12 points in 1980x1080 and at a minimum of 24 points on very high resolution screen.

hilaire commented 4 months ago

It seems stable now, it could be reopen in future in case of an undetected issue.