[gedit/gnome-3-2] externaltools: remove useless var

[Paolo Borelli <pborelli src gnome org>]

commit d9a3e8973206f8e9758843ed2887271ef9258f62
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()