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	501	21 January 2022
Plugin: Font Size Shortcut Plugins	9	1485	22 April 2024
Editor font size : no effect Support	6	663	13 January 2020
Feature request: please let me configure font name/size for the whole app GUI and for the editor Features	1	491	17 March 2021
Font sizes Features	7	5073	26 March 2021