[gedit-latex/pietro-on-jimmy-3-14] Implemented do_deactivate for removing menus

[Pietro Battiston <pbattiston src gnome org>]

commit 8e9970be499fe2345bdf1408bb84ff0428a07078
Author: Pietro Battiston <pbattiston src gnome org>
Date:   Thu Oct 2 23:57:50 2014 +0200

    Implemented do_deactivate for removing menus

 latex/appactivatable.py |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/latex/appactivatable.py b/latex/appactivatable.py
index a5059a2..ff6f06c 100644
--- a/latex/appactivatable.py
+++ b/latex/appactivatable.py
@@ -110,5 +110,9 @@ class LaTeXAppActivatable(GObject.Object, Gedit.AppActivatable):
     def _on_tools_changed(self, tools):
         self.latex_tools_menu.remove_all()
         self.init_tools()
+
+    def do_deactivate(self):
+        del self.latex_tools_menu
+        del self.menu_ext
         
 # ex:ts=4:et