/gedit-zoom

Gedit plugin that adds the ability to change the font size

Primary LanguagePythonGNU General Public License v2.0GPL-2.0

Stargazers