dinkel / gedit-zoom
Licence: GPL-2.0 license
Gedit plugin that adds the ability to change the font size
Stars: ✭ 19
Programming Languages
python
139335 projects - #7 most used programming language
Makefile
30231 projects
Gettext Catalog
5 projects
Zoom - gedit plugin =================== This plugin for gedit - GNOME text editor - adds the ability to change the font size using either the menu bar, keyboard shortcuts or <ctrl>-mousewheel in a same manner as Firefox, OpenOffice and other applications. Contact ------- Author: Christian Luginbühl <[email protected]> Home: <http://github.com/dinkel/gedit-zoom> License ------- See the LICENSE file. Development ----------- It proved helpful for development to check out the git-repository to your favourite location and create symlinks in your personal plugins directory to the necessary files and directories. There is a make target, that accomplishes this: $ make install-dev Install ------- Simply extract the package into the ~/.gnome2/gedit/plugins directory, or - for a system-wide delpoyment - into /usr/lib/gedit-2/plugins (the path may be different, depending on your distribution). Then activate and configure the plugin through Edit -> Preferences -> Plugins. Todo ---- If the fontsize is changed through Edit -> Preferences -> Font & Colors, then these changes are not yet recognized by this plugin. Therefore changing the zoom level still calculates with the fontsize when gedit was last started. Restarting gedit fixes this annoyance. Comments / Bugs --------------- Although I do consider myself as a skilled programmer, these are my first steps in Python and gedit plugin programming. Therefore I'm eager to hear your comments about this piece of software. Also if you find a bug or thought of an enhancment, please use GitHubs bugtracking system. This plugin's home is stated above.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].