Hello,
First, thanks you for these very nice LaTeX editor.
The current scaling setting works partially.
I have maximized from the window GUI.scalling and here is what I get (full screen shot)
The icons on the page search / replace remain very small (bottom right) as you can see on this screenshot.
Similarly, setting syntax highlighting is unreadable as you can see in this screenshot.
Also, when opening the options window is very small and needs to be resized, which is not practical.
That's why I propose to adopt the style of the Atom code editor https://atom.io where the settings are done on whole pages and not on detached windows.
Best regards
Last edit: AndréC 2016-12-31
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
that is what "Options/GUI scaling" is for ...
Last edit: Jan Sundermeyer 2016-06-23
Hello,
First, thanks you for these very nice LaTeX editor.
The current scaling setting works partially.
I have maximized from the window GUI.scalling and here is what I get (full screen shot)
The icons on the page search / replace remain very small (bottom right) as you can see on this screenshot.
Similarly, setting syntax highlighting is unreadable as you can see in this screenshot.
Also, when opening the options window is very small and needs to be resized, which is not practical.
That's why I propose to adopt the style of the Atom code editor https://atom.io where the settings are done on whole pages and not on detached windows.
Best regards
Last edit: AndréC 2016-12-31