Skip to content

Add editor zoom "CTRL =" shortcut#8698

Closed
Pieter12345 wants to merge 1 commit intoarduino:masterfrom
Pieter12345:ctrl-equals-editor-zoom
Closed

Add editor zoom "CTRL =" shortcut#8698
Pieter12345 wants to merge 1 commit intoarduino:masterfrom
Pieter12345:ctrl-equals-editor-zoom

Commits

Commits on Mar 25, 2019