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