Request for changing editor font size, add shortcut key to reset font size to 100%

[Claus Pedersen]

This is a great feature, thank to the developers for this.

I have re-assigned the shortcut keys to normal Ctrl+ and Ctrl- keys as I have no numeric keypad on my laptop. Maybe that should be the default setting in PLD?

But I am missing a way to reset to my default font size (100%).
Please add a key configuration entry to reset the font size to 100% so the user can assign a keyboard shortcut to this (default Ctrl-0 ?)

Or alternatively, place an indicator somewhere in the gui showing the current font size (120% or 80%).

 

[Marco Kalter]

I have added this to the list of enhancement requests.

 

[Claus Pedersen]

Thanks for the answer.
Could this be a possible part of the final version 13? Otherwise it is difficult for the user to get back to default size.

 

[Marco Kalter]

It seems likely to me that this will indeed make it into an upcoming 13.0 beta release.

 

[fabrice]

on most softwares, the CTRL key + mouse wheel make the font size changing. it should be a good thing here too.

 

[Marco Kalter]

I have added this to the list of enhancement requests.