Plugins enhancing or modifying functionality of the code editor.
This plugin, which can be installed via Tools/GetIt package manager, provides a right hand "gutte...
This plugin, which can be installed via Tools/GetIt package manager, replaces the IDE's default b...
