[gedit] externaltools: remove useless var

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 456eee4b10a6f150945835835a2e480bf632395c
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun Dec 25 20:26:42 2011 +0100

    externaltools: remove useless var

 plugins/externaltools/tools/manager.py |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index f1f7cc7..7bf3090 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -218,8 +218,6 @@ class LanguagesPopup(Gtk.Window):
         allwidgets = self.resolve_widgets(self.get_child())
         allwidgets.reverse()
 
-        orig = [event.x, event.y]
-
         for widget in allwidgets:
             windows = self.resolve_windows(widget.get_window())
             windows.reverse()