WheelZoom plugin initial import
The following Merge Request (MR) has been forwarded from GitHub in order to prevent the GNOME Project from losing contributions coming from un-official channels. And for contributors to not see their valuable contributions not being accounted for.
Relevant information:
Github handle: jgoday
MR URL: https://github.com/GNOME/gedit-plugins/pull/2
Patch URL: https://github.com/GNOME/gedit-plugins/pull/2.patch
Body of the MR:
Change text size using mouse wheel. Unlike 'textsize' plugin, changes the size of all text, regardless of existing font tags.