Keyboard Shortcut to increase/decrease editor font size

makb 21 January 2022 13:41 11

ok Thanks

Topic		Replies	Views
[Feature Request] Keyboard shortcut to increase/decrease editor font size Features	2	412	21 January 2022
Plugin: Font Size Shortcut Plugins	2	1071	13 April 2024
Editor font size : no effect Support	6	578	13 January 2020
Feature request: please let me configure font name/size for the whole app GUI and for the editor Features	1	404	17 March 2021
Font sizes Features	7	4408	26 March 2021