Hi Max, Henri, On Mon, Jun 21, 2021 at 10:56:57AM +0200, Massimiliano Gubinelli wrote: > As for the size of the UI, if you go to View -> Retina settings you can > modify the scale factor for the fonts. But we do not currently have options > for larger icons.
If my memory is correct, then we should be able to directly use our svg icons when we will switch to Qt5. This will allow us to scale the icons more easily. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
