[gedit-plugins] Added support for smooth scroll

[Jesse van den Kieboom <jessevdk src gnome org>]

commit f7b576a235bd5b2e3fecf2a235f287e6db9f52d8
Author: Jesse van den Kieboom <jesse vandenkieboom epfl ch>
Date:   Thu Aug 16 13:57:54 2012 +0200

    Added support for smooth scroll

 plugins/textsize/textsize/documenthelper.py |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/plugins/textsize/textsize/documenthelper.py b/plugins/textsize/textsize/documenthelper.py
index ad85b05..a18960d 100644
--- a/plugins/textsize/textsize/documenthelper.py
+++ b/plugins/textsize/textsize/documenthelper.py
@@ -169,6 +169,11 @@ class DocumentHelper(Signals):
         elif event.direction == Gdk.ScrollDirection.DOWN:
             self.decrease_font_size()
             return True
+        elif event.direction == Gdk.ScrollDirection.SMOOTH:
+            if event.delta_y > 0:
+                self.decrease_font_size()
+            elif event.delta_y < 0:
+                self.increase_font_size()
 
         return False