[gedit-latex] set_translation_domain on Gtk.Builder (point 1 of bug #688388)

[Pietro Battiston <pbattiston src gnome org>]

commit ae2834b9625c8ba77a955708d49077dc17f5bd68
Author: Pietro Battiston <pbattiston src gnome org>
Date:   Sun May 1 11:08:50 2016 +0200

    set_translation_domain on Gtk.Builder (point 1 of bug #688388)

 latex/util.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/latex/util.py b/latex/util.py
index 410f609..3acd7aa 100644
--- a/latex/util.py
+++ b/latex/util.py
@@ -133,6 +133,7 @@ class GladeInterface(object):
     def __get_tree(self):
         if not self.__tree:
             self.__tree = Gtk.Builder()
+            self.__tree.set_translation_domain('gedit-latex')
             self.__tree.add_from_file(self.filename)
         return self.__tree