/gedit_custom_keys

Gedit plugin that adds some common keyboard shortcuts to gedit

Primary LanguagePython

Watchers