1742 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, Editor, UI, IDE
Last Updated on Monday, February 4, 2019 - 13:50 by Maciej Kujawski
Download the Results of the Enterprise Java Ecosystem's Leading Survey Today!