1709 Solutions and counting.
Plugin allows for quick change of font size by use of keyboard shortcuts.
Ctrl = increase font size
Ctrl - decrease font size
Ctrl 0 reset font size to default value
Tools, IDE, Editor, UI
Last Updated on Monday, February 4, 2019 - 13:50 by Maciej Kujawski
A co-located event with KubeCon + CloudNativeCon EU on March 30, 2020