[gedit-latex] Remove spellcheck support



commit 9ef58868f1ac92d73330dca9a3412e28837e39da
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Jun 23 23:25:48 2011 +0200

    Remove spellcheck support

 latex/base/__init__.py      |    4 +-
 latex/base/config.py        |    5 +-
 latex/latex/actions.py      |   10 -
 latex/latex/editor.py       |  128 +-------------
 latex/latex/model.py        |   19 +--
 latex/latex/spellcheck.py   |  201 --------------------
 latex/preferences/dialog.py |   49 +-----
 latex/ui/configure.ui       |  433 ++++++++++++++++++++++++-------------------
 8 files changed, 246 insertions(+), 603 deletions(-)
---
diff --git a/latex/base/__init__.py b/latex/base/__init__.py
index 15e8128..75a2bee 100644
--- a/latex/base/__init__.py
+++ b/latex/base/__init__.py
@@ -337,7 +337,7 @@ class Editor(object):
 	class Marker(object):
 		"""
 		Markers refer to and highlight a range of text in the TextBuffer decorated by 
-		an Editor. They are used for spell checking and highlighting issues.
+		an Editor. They are used for highlighting issues.
 		
 		Each Marker instance stores two Gtk.TextMark objects refering to the start and
 		end of the text range.
@@ -836,7 +836,7 @@ class Editor(object):
 		self._text_view.scroll_to_iter(it_end, .25)
 	
 	#
-	# markers are used for spell checking (identified) and highlighting (anonymous)
+	# markers are used for highlighting (anonymous)
 	#
 	
 	def register_marker_type(self, marker_type, background_color, anonymous=True):
diff --git a/latex/base/config.py b/latex/base/config.py
index be0422c..a03e665 100644
--- a/latex/base/config.py
+++ b/latex/base/config.py
@@ -39,7 +39,6 @@ UI = """
 				<menu action="LaTeXMenuAction">
 					<menuitem action="LaTeXChooseMasterAction" />
 					<menuitem action="LaTeXCommentAction" />
-					<menuitem action="LaTeXSpellCheckAction" />
 					<separator />
 					<menuitem action="LaTeXGraphicsAction" />
 					<menuitem action="LaTeXTableAction" />
@@ -131,7 +130,7 @@ UI = """
 
 # actions
 
-from ..latex.actions import LaTeXMenuAction, LaTeXNewAction, LaTeXCommentAction, LaTeXPreviewAction, LaTeXSpellCheckAction, LaTeXChooseMasterAction, \
+from ..latex.actions import LaTeXMenuAction, LaTeXNewAction, LaTeXCommentAction, LaTeXPreviewAction, LaTeXChooseMasterAction, \
 		LaTeXItemizeAction, LaTeXEnumerateAction, LaTeXFontFamilyAction, LaTeXFontFamilyMenuAction, LaTeXBoldAction, \
 		LaTeXItalicAction, LaTeXEmphasizeAction, LaTeXDescriptionAction, LaTeXStructureMenuAction, LaTeXPartAction, LaTeXChapterAction, \
 		LaTeXSectionAction, LaTeXSubsectionAction, LaTeXParagraphAction,LaTeXSubparagraphAction, LaTeXStructureAction, \
@@ -145,7 +144,7 @@ from ..latex.actions import LaTeXMenuAction, LaTeXNewAction, LaTeXCommentAction,
 
 from ..bibtex.actions import BibTeXMenuAction, BibTeXNewEntryAction
 
-ACTIONS = [ LaTeXMenuAction, LaTeXNewAction, LaTeXCommentAction, LaTeXPreviewAction, LaTeXSpellCheckAction, LaTeXChooseMasterAction, 
+ACTIONS = [ LaTeXMenuAction, LaTeXNewAction, LaTeXCommentAction, LaTeXPreviewAction, LaTeXChooseMasterAction, 
 		LaTeXItemizeAction, LaTeXEnumerateAction, LaTeXFontFamilyAction, LaTeXFontFamilyMenuAction, LaTeXBoldAction, 
 		LaTeXItalicAction, LaTeXEmphasizeAction, LaTeXDescriptionAction, LaTeXStructureMenuAction, LaTeXPartAction, LaTeXChapterAction, 
 		LaTeXSectionAction, LaTeXSubsectionAction, LaTeXParagraphAction,LaTeXSubparagraphAction, LaTeXStructureAction, 
diff --git a/latex/latex/actions.py b/latex/latex/actions.py
index dc0fa91..301e226 100644
--- a/latex/latex/actions.py
+++ b/latex/latex/actions.py
@@ -385,16 +385,6 @@ class LaTeXPreviewScrollRightAction(LaTeXAction):
 			context.latex_previews.scroll(current_tab, LaTeXPreviews.SCROLL_RIGHT)
 
 
-class LaTeXSpellCheckAction(LaTeXAction):
-	label = "Spell Check"
-	stock_id = Gtk.STOCK_SPELL_CHECK
-	accelerator = "<Ctrl><Alt>S"
-	tooltip = "Run LaTeX-aware spell check on the document"
-	
-	def activate(self, context):
-		context.active_editor.spell_check()
-
-
 class LaTeXFontFamilyAction(LaTeXIconAction):
 	menu_tool_action = True
 	
diff --git a/latex/latex/editor.py b/latex/latex/editor.py
index 5fd2f75..da41ff6 100644
--- a/latex/latex/editor.py
+++ b/latex/latex/editor.py
@@ -49,10 +49,8 @@ from dialogs import ChooseMasterDialog
 from . import LaTeXSource, PropertyFile
 from ..preferences import Preferences, IPreferencesMonitor
 
-from spellcheck import SpellChecker, IMisspelledWordHandler
 
-
-class LaTeXEditor(Editor, IIssueHandler, IMisspelledWordHandler, IPreferencesMonitor):
+class LaTeXEditor(Editor, IIssueHandler, IPreferencesMonitor):
 	
 	_log = getLogger("LaTeXEditor")
 	
@@ -80,8 +78,7 @@ class LaTeXEditor(Editor, IIssueHandler, IMisspelledWordHandler, IPreferencesMon
 		
 		self._preferences = Preferences()
 		self._preferences.register_monitor(self)	# listen to 'Show...InOutline' settings
-		
-		self.register_marker_type("latex-spell", self._preferences.get("SpellingBackgroundColor"), anonymous=False)
+
 		self.register_marker_type("latex-error", self._preferences.get("ErrorBackgroundColor"))
 		self.register_marker_type("latex-warning", self._preferences.get("WarningBackgroundColor"))
 		
@@ -100,9 +97,6 @@ class LaTeXEditor(Editor, IIssueHandler, IMisspelledWordHandler, IPreferencesMon
 		# annoy the user
 		self._ensured_packages = []
 		
-		# spell checking
-		self.__spell_checker = SpellChecker()
-		
 		#
 		# initially parse
 		#
@@ -421,124 +415,6 @@ class LaTeXEditor(Editor, IIssueHandler, IMisspelledWordHandler, IPreferencesMon
 			elif issue.severity == Issue.SEVERITY_WARNING:
 				self.create_marker("latex-warning", issue.start, issue.end)
 	
-	#
-	# spell checking begin
-	#
-	# TODO: put this in a SpellCheckDelegate or so
-	#
-	
-	def spell_check(self):
-		"""
-		Run a spell check on the file
-		
-		@raise ImportError: if pyenchant is not installed
-		"""
-		self.remove_markers("latex-spell")
-		self.__word_markers = {}
-		
-		#
-		# FIXME: it makes no sense to pass _document here because it contains
-		# the expanded model of the document. We must keep the the not expanded
-		# one, too.
-		#
-		try:
-			self.__spell_checker.run(self._document, self.edited_file, self)
-		except ImportError:
-			open_error("Enchant is missing", "The enchant library and its Python bindings (package is propably called pyenchant) are needed for spell checking but could not be found")
-			
-	def on_misspelled_word(self, word, position):
-		# see IMisspelledWordHandler.on_misspelled_word
-		marker = self.create_marker("latex-spell", position, position + len(word))
-		self.__word_markers[marker.id] = word
-	
-	def on_marker_activated(self, marker, event):
-		"""
-		A marker has been activated
-		"""
-		#self._log.debug("activate_marker(%s, %s)" % (marker, event))
-		
-		if marker.type == "latex-spell":
-			word = self.__word_markers[marker.id]
-			suggestions = self.__spell_checker.find_suggestions(word)
-			
-			self._log.debug(str(suggestions))
-			
-			# build and show the context menu
-			menu = self.__get_suggestions_menu(word, suggestions, marker)
-			menu.popup(None, None, None, event.button, event.time)
-			
-			# swallow the signal so that the original context menu
-			# isn't shown
-			return True
-			
-	def __get_suggestions_menu(self, word, suggestions, marker):
-		"""
-		Return the context menu for spell check suggestions
-		
-		@param word: the misspelled word
-		@param suggestions: a list of suggested words
-		@param marker: the activated Marker
-		"""
-		suggestions_menu = Gtk.Menu()
-		
-		suggestions_menu.add(Gtk.SeparatorMenuItem())
-		
-		item_add = Gtk.ImageMenuItem(Gtk.STOCK_ADD)
-		item_add.connect("activate", self.__on_add_word_activated, marker, word)
-		suggestions_menu.add(item_add)
-		
-		suggestions_menu.add(Gtk.SeparatorMenuItem())
-		
-		item_abort = Gtk.ImageMenuItem(Gtk.STOCK_CANCEL)
-		item_abort.connect("activate", self.__on_abort_spell_check_activated)
-		suggestions_menu.add(item_abort)
-		
-		suggestions_menu.show_all()
-		
-		# add suggestions
-		suggestions.reverse()	# we insert in reverse order, so reverse before
-		
-		for suggestion in suggestions:
-			if suggestion.user_defined:
-				item = Gtk.ImageMenuItem(suggestion.word)
-				item.set_image(Gtk.Image.new_from_stock(Gtk.STOCK_FLOPPY, Gtk.IconSize.MENU))
-			else:
-				item = Gtk.MenuItem(suggestion.word)
-				
-			item.connect("activate", self.__on_suggestion_activated, suggestion, marker)
-			suggestions_menu.insert(item, 0)
-			item.show()
-		
-		return suggestions_menu
-	
-	def __on_suggestion_activated(self, menu_item, suggestion, marker):
-		"""
-		A suggestion from the context menu has been activated
-		
-		@param menu_item: the activated MenuItem
-		@param suggestion: the word
-		"""
-		self.replace_marker_content(marker, suggestion.word)
-	
-	def __on_abort_spell_check_activated(self, menu_item):
-		"""
-		"""
-		self.remove_markers("latex-spell")
-	
-	def __on_add_word_activated(self, menu_item, marker, word):
-		"""
-		Add a word to the dictionary
-		
-		@param marker: the marker for the word
-		@param word: the checked word
-		"""
-		self.__spell_checker.add_word(word)
-		self.remove_marker(marker)
-	
-	#
-	# spell checking end
-	#
-	
 	def on_cursor_moved(self, offset):
 		"""
 		The cursor has moved
diff --git a/latex/latex/model.py b/latex/latex/model.py
index 26437cc..885d6ff 100644
--- a/latex/latex/model.py
+++ b/latex/latex/model.py
@@ -134,7 +134,6 @@ class LanguageModel(object):
 		
 		self.__placeholders = {}
 		self.__newcommands = []
-		self.__all_choices = None
 		
 		self.__log.debug("init")
 	
@@ -167,22 +166,6 @@ class LanguageModel(object):
 		except KeyError:
 			self.__log.error("fill_placeholder: placeholder '%s' not registered" % name)
 	
-	@property
-	def all_choices(self):
-		"""
-		Return all choices of all commands. This is used for spell checking so that
-		argument values like 'itemize' can be hidden from a german spell checker.
-		"""
-		
-		# TODO: this has to change, see Trac ticket for spell checking
-		
-		if not self.__all_choices:
-			self.__all_choices = []
-			for command in self.commands.itervalues():
-				for argument in command.children:
-					self.__all_choices.extend([choice.value for choice in argument.children])
-		return set(self.__all_choices)
-	
 	def set_newcommands(self, newcommands):
 		
 		# TODO: use sets
@@ -321,4 +304,4 @@ class LanguageModelFactory(object):
 		
 		
 		
-		
\ No newline at end of file
+		
diff --git a/latex/preferences/dialog.py b/latex/preferences/dialog.py
index 7a93c0e..02d83de 100644
--- a/latex/preferences/dialog.py
+++ b/latex/preferences/dialog.py
@@ -483,47 +483,6 @@ class PreferencesDialog(GladeInterface, IPreferencesMonitor):
 			self.__load_tools()
 			self._preferences.register_monitor(self)
 			
-			#
-			# spell check
-			#
-			try:
-				# the import may fail if enchant is not installed
-				from ..latex.spellcheck import SpellCheckerBackend
-				
-				
-				self._storeLanguages = Gtk.ListStore(str)
-				
-				backend = SpellCheckerBackend()
-				
-				try :
-					active_language = self._preferences.get("SpellCheckDictionary", backend.default_language)
-				except Exception:
-					self._log.error("Failed to determine default Enchant language")
-					active_language = self._preferences.get("SpellCheckDictionary")
-				
-				active_index = 0
-				i = 0
-				for l in backend.languages:
-					self._storeLanguages.append([l])
-					if l == active_language:
-						active_index = i
-					else:
-						i += 1
-				
-				self._comboLanguages = self.find_widget("comboLanguages")
-				self._comboLanguages.set_model(self._storeLanguages)
-				cell = Gtk.CellRendererText()
-				self._comboLanguages.pack_start(cell, True)
-				self._comboLanguages.add_attribute(cell, "text", 0)
-				self._comboLanguages.set_active(active_index)
-			except ImportError:
-				
-				self._log.error("Enchant library could not be imported. Spell checking will be disabled.")
-				
-				# TODO: disable controls
-				
-				pass
-			
 			# misc
 			check_hide_box = self.find_widget("checkHideBox")
 			check_hide_box.set_active(self._preferences.get_bool("HideBoxWarnings", False))
@@ -541,7 +500,6 @@ class PreferencesDialog(GladeInterface, IPreferencesMonitor):
 			# proxies for ColorButtons and SpinButtons
 			#
 			self._proxies = [ PreferencesColorProxy(self.find_widget("colorLight"), "LightForeground", "#957d47"),
-									PreferencesColorProxy(self.find_widget("colorSpelling"), "SpellingBackgroundColor", "#ffeccf"),
 									PreferencesColorProxy(self.find_widget("colorWarning"), "WarningBackgroundColor", "#ffffcf"),
 									PreferencesColorProxy(self.find_widget("colorError"), "ErrorBackgroundColor", "#ffdddd"),
 									PreferencesColorProxy(self.find_widget("colorTemplateBackground"), "TemplateBackgroundColor", "#f2f7ff"),
@@ -562,7 +520,6 @@ class PreferencesDialog(GladeInterface, IPreferencesMonitor):
 								   "on_buttonConfigureTool_clicked" : self._on_configure_tool_clicked,
 								   "on_buttonDeleteTool_clicked" : self._on_delete_tool_clicked,
 								   "on_buttonEditSnippet_clicked" : self._on_edit_snippet_clicked,
-								   "on_comboLanguages_changed" : self._on_language_changed,
 								   "on_checkHideBox_toggled" : self._on_hide_box_toggled,
 								   "on_filechooserTemplates_selection_changed" : self._on_templates_dir_changed,
 								   "on_checkShowToolbar_toggled" : self._on_show_toolbar_toggled })
@@ -584,10 +541,6 @@ class PreferencesDialog(GladeInterface, IPreferencesMonitor):
 		value = togglebutton.get_active()
 		self._preferences.set("HideBoxWarnings", value)
 	
-	def _on_language_changed(self, combobox):
-		language = combobox.get_model().get_value(combobox.get_active_iter(), 0)
-		self._preferences.set("SpellCheckDictionary", language)
-	
 	def __load_snippets(self):
 		self._store_snippets.clear()
 		for snippet in self._preferences.snippets:
@@ -731,4 +684,4 @@ class PreferencesDialog(GladeInterface, IPreferencesMonitor):
 			
 	
 	
-	
\ No newline at end of file
+	
diff --git a/latex/ui/configure.ui b/latex/ui/configure.ui
index 7875128..1bdb975 100644
--- a/latex/ui/configure.ui
+++ b/latex/ui/configure.ui
@@ -1,27 +1,60 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
 <interface>
+  <requires lib="gtk+" version="2.16"/>
   <object class="GtkAdjustment" id="adjustment1">
-    <property name="upper">10000</property>
     <property name="lower">50</property>
-    <property name="page_increment">100</property>
-    <property name="step_increment">10</property>
-    <property name="page_size">100</property>
+    <property name="upper">10000</property>
     <property name="value">500</property>
+    <property name="step_increment">10</property>
+    <property name="page_increment">100</property>
   </object>
-  <!-- interface-requires gtk+ 2.16 -->
-  <!-- interface-naming-policy toplevel-contextual -->
   <object class="GtkDialog" id="dialogConfigure">
+    <property name="can_focus">False</property>
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     <property name="border_width">5</property>
     <property name="title" translatable="yes">Configure LaTeX Plugin</property>
     <property name="window_position">center-on-parent</property>
     <property name="type_hint">dialog</property>
-    <property name="has_separator">False</property>
     <child internal-child="vbox">
-      <object class="GtkVBox" id="dialog-vbox1">
+      <object class="GtkBox" id="dialog-vbox1">
         <property name="visible">True</property>
+        <property name="can_focus">False</property>
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+        <property name="orientation">vertical</property>
         <property name="spacing">2</property>
+        <child internal-child="action_area">
+          <object class="GtkButtonBox" id="dialog-action_area1">
+            <property name="visible">True</property>
+            <property name="can_focus">False</property>
+            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+            <property name="layout_style">end</property>
+            <child>
+              <object class="GtkButton" id="buttonClose">
+                <property name="label">gtk-close</property>
+                <property name="visible">True</property>
+                <property name="can_focus">True</property>
+                <property name="can_default">True</property>
+                <property name="has_default">True</property>
+                <property name="receives_default">True</property>
+                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                <property name="use_action_appearance">False</property>
+                <property name="use_stock">True</property>
+                <signal name="clicked" handler="on_buttonClose_clicked" swapped="no"/>
+              </object>
+              <packing>
+                <property name="expand">False</property>
+                <property name="fill">False</property>
+                <property name="position">0</property>
+              </packing>
+            </child>
+          </object>
+          <packing>
+            <property name="expand">False</property>
+            <property name="fill">True</property>
+            <property name="pack_type">end</property>
+            <property name="position">0</property>
+          </packing>
+        </child>
         <child>
           <object class="GtkNotebook" id="notebook1">
             <property name="visible">True</property>
@@ -31,6 +64,7 @@
             <child>
               <object class="GtkTable" id="table1">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="border_width">10</property>
                 <property name="n_rows">2</property>
@@ -40,18 +74,20 @@
                 <child>
                   <object class="GtkVButtonBox" id="vbuttonbox1">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                     <property name="spacing">5</property>
                     <property name="layout_style">start</property>
                     <child>
                       <object class="GtkButton" id="buttonNewTemplate">
-                        <property name="label" translatable="yes">gtk-new</property>
+                        <property name="label">gtk-new</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonNewTemplate_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonNewTemplate_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -61,12 +97,13 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonEditSnippet">
-                        <property name="label" translatable="yes">gtk-edit</property>
+                        <property name="label">gtk-edit</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonEditSnippet_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonEditSnippet_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -76,13 +113,14 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonDeleteTemplate">
-                        <property name="label" translatable="yes">gtk-delete</property>
+                        <property name="label">gtk-delete</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonDeleteTemplate_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonDeleteTemplate_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -102,15 +140,16 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                    <property name="hscrollbar_policy">automatic</property>
-                    <property name="vscrollbar_policy">automatic</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTreeView" id="treeviewTemplates">
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                        <signal handler="on_treeviewTemplates_cursor_changed" name="cursor_changed"/>
+                        <signal name="cursor-changed" handler="on_treeviewTemplates_cursor_changed" swapped="no"/>
+                        <child internal-child="selection">
+                          <object class="GtkTreeSelection" id="treeview-selection1"/>
+                        </child>
                       </object>
                     </child>
                   </object>
@@ -120,8 +159,6 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                    <property name="hscrollbar_policy">automatic</property>
-                    <property name="vscrollbar_policy">automatic</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTextView" id="textviewTemplate">
@@ -143,6 +180,7 @@
             <child type="tab">
               <object class="GtkLabel" id="label1">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="label" translatable="yes">Snippets</property>
               </object>
@@ -152,6 +190,7 @@
             </child>
             <child>
               <object class="GtkHBox" id="hbox1">
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="border_width">5</property>
                 <property name="spacing">5</property>
@@ -160,36 +199,41 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                    <property name="hscrollbar_policy">automatic</property>
-                    <property name="vscrollbar_policy">automatic</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTreeView" id="treeviewBibs">
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <child internal-child="selection">
+                          <object class="GtkTreeSelection" id="treeview-selection2"/>
+                        </child>
                       </object>
                     </child>
                   </object>
                   <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkVButtonBox" id="vbuttonbox2">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                     <property name="spacing">5</property>
                     <property name="layout_style">start</property>
                     <child>
                       <object class="GtkButton" id="buttonAddBib">
-                        <property name="label" translatable="yes">gtk-add</property>
+                        <property name="label">gtk-add</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonAddBib_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonAddBib_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -199,13 +243,14 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonRemoveBib">
-                        <property name="label" translatable="yes">gtk-remove</property>
+                        <property name="label">gtk-remove</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonRemoveBib_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonRemoveBib_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -216,14 +261,19 @@
                   </object>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
               </object>
+              <packing>
+                <property name="position">1</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label2">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="label" translatable="yes">Bibliographies</property>
               </object>
@@ -234,6 +284,7 @@
             </child>
             <child>
               <object class="GtkHBox" id="hbox2">
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="border_width">5</property>
                 <property name="spacing">5</property>
@@ -242,8 +293,6 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                    <property name="hscrollbar_policy">automatic</property>
-                    <property name="vscrollbar_policy">automatic</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTreeView" id="treeviewToolbar">
@@ -251,26 +300,33 @@
                         <property name="can_focus">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                         <property name="headers_visible">False</property>
+                        <child internal-child="selection">
+                          <object class="GtkTreeSelection" id="treeview-selection3"/>
+                        </child>
                       </object>
                     </child>
                   </object>
                   <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkVButtonBox" id="vbuttonbox3">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                     <property name="spacing">5</property>
                     <property name="layout_style">start</property>
                     <child>
                       <object class="GtkButton" id="buttonItemUp">
-                        <property name="label" translatable="yes">gtk-go-up</property>
+                        <property name="label">gtk-go-up</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
                       </object>
                       <packing>
@@ -281,11 +337,12 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonItemDown">
-                        <property name="label" translatable="yes">gtk-go-down</property>
+                        <property name="label">gtk-go-down</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
                       </object>
                       <packing>
@@ -297,14 +354,19 @@
                   </object>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
               </object>
+              <packing>
+                <property name="position">2</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label3">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                 <property name="label" translatable="yes">Toolbar</property>
               </object>
@@ -316,41 +378,47 @@
             <child>
               <object class="GtkVBox" id="vbox1">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="border_width">10</property>
                 <property name="spacing">5</property>
                 <child>
                   <object class="GtkScrolledWindow" id="scrolledwindow5">
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
-                    <property name="hscrollbar_policy">automatic</property>
-                    <property name="vscrollbar_policy">automatic</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTreeView" id="treeviewProfiles">
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="headers_visible">False</property>
-                        <signal handler="on_treeviewProfiles_cursor_changed" name="cursor_changed"/>
+                        <signal name="cursor-changed" handler="on_treeviewProfiles_cursor_changed" swapped="no"/>
+                        <child internal-child="selection">
+                          <object class="GtkTreeSelection" id="treeview-selection4"/>
+                        </child>
                       </object>
                     </child>
                   </object>
                   <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkHButtonBox" id="hbuttonbox1">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="spacing">5</property>
                     <property name="layout_style">start</property>
                     <child>
                       <object class="GtkButton" id="buttonNewProfile">
-                        <property name="label" translatable="yes">gtk-new</property>
+                        <property name="label">gtk-new</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonNewProfile_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonNewProfile_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -360,13 +428,14 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonDeleteTool">
-                        <property name="label" translatable="yes">gtk-delete</property>
+                        <property name="label">gtk-delete</property>
                         <property name="visible">True</property>
                         <property name="sensitive">False</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonDeleteTool_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonDeleteTool_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -376,13 +445,14 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonMoveUpTool">
-                        <property name="label" translatable="yes">gtk-go-up</property>
+                        <property name="label">gtk-go-up</property>
                         <property name="visible">True</property>
                         <property name="sensitive">False</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonMoveUpTool_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonMoveUpTool_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -392,12 +462,13 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonMoveDownTool">
-                        <property name="label" translatable="yes">gtk-go-down</property>
+                        <property name="label">gtk-go-down</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonMoveDownTool_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonMoveDownTool_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -407,13 +478,14 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="buttonConfigureTool">
-                        <property name="label" translatable="yes">gtk-properties</property>
+                        <property name="label">gtk-properties</property>
                         <property name="visible">True</property>
                         <property name="sensitive">False</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_stock">True</property>
-                        <signal handler="on_buttonConfigureTool_clicked" name="clicked"/>
+                        <signal name="clicked" handler="on_buttonConfigureTool_clicked" swapped="no"/>
                       </object>
                       <packing>
                         <property name="expand">False</property>
@@ -424,14 +496,19 @@
                   </object>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
               </object>
+              <packing>
+                <property name="position">3</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label4">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="label" translatable="yes">Tools</property>
               </object>
               <packing>
@@ -442,67 +519,16 @@
             <child>
               <object class="GtkTable" id="table2">
                 <property name="visible">True</property>
-                <property name="extension_events">cursor</property>
+                <property name="can_focus">False</property>
                 <property name="border_width">10</property>
                 <property name="n_rows">10</property>
                 <property name="n_columns">2</property>
                 <property name="column_spacing">5</property>
                 <property name="row_spacing">5</property>
                 <child>
-                  <object class="GtkLabel" id="label8">
-                    <property name="visible">True</property>
-                    <property name="xalign">0</property>
-                    <property name="label" translatable="yes">&lt;b&gt;Spell Checking&lt;/b&gt;</property>
-                    <property name="use_markup">True</property>
-                  </object>
-                  <packing>
-                    <property name="right_attach">2</property>
-                    <property name="x_options">GTK_FILL</property>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkLabel" id="label11">
-                    <property name="visible">True</property>
-                    <property name="xalign">1</property>
-                    <property name="label" translatable="yes">Language:</property>
-                  </object>
-                  <packing>
-                    <property name="top_attach">1</property>
-                    <property name="bottom_attach">2</property>
-                    <property name="x_options">GTK_FILL</property>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkComboBox" id="comboLanguages">
-                    <property name="visible">True</property>
-                    <signal handler="on_comboLanguages_changed" name="changed"/>
-                  </object>
-                  <packing>
-                    <property name="left_attach">1</property>
-                    <property name="right_attach">2</property>
-                    <property name="top_attach">1</property>
-                    <property name="bottom_attach">2</property>
-                    <property name="x_options">GTK_FILL</property>
-                    <property name="y_options">GTK_FILL</property>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkLabel" id="label13">
-                    <property name="visible">True</property>
-                    <property name="xalign">0</property>
-                    <property name="label" translatable="yes">&lt;b&gt;BibTeX&lt;/b&gt;</property>
-                    <property name="use_markup">True</property>
-                  </object>
-                  <packing>
-                    <property name="right_attach">2</property>
-                    <property name="top_attach">2</property>
-                    <property name="bottom_attach">3</property>
-                    <property name="x_options">GTK_FILL</property>
-                  </packing>
-                </child>
-                <child>
                   <object class="GtkLabel" id="label21">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Maximum Parsed File Size:</property>
                   </object>
@@ -515,26 +541,31 @@
                 <child>
                   <object class="GtkHBox" id="hbox3">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="spacing">5</property>
                     <child>
                       <object class="GtkSpinButton" id="spinMaxBibSize">
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
-                        <property name="invisible_char">&#x25CF;</property>
+                        <property name="invisible_char">â</property>
                         <property name="adjustment">adjustment1</property>
                         <property name="numeric">True</property>
                       </object>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">0</property>
                       </packing>
                     </child>
                     <child>
                       <object class="GtkLabel" id="label22">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="label" translatable="yes">KB</property>
                       </object>
                       <packing>
                         <property name="expand">False</property>
+                        <property name="fill">True</property>
                         <property name="position">1</property>
                       </packing>
                     </child>
@@ -550,6 +581,7 @@
                 <child>
                   <object class="GtkLabel" id="label23">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;Templates&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -564,6 +596,7 @@
                 <child>
                   <object class="GtkLabel" id="label24">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Folder:</property>
                   </object>
@@ -576,8 +609,9 @@
                 <child>
                   <object class="GtkFileChooserButton" id="filechooserTemplates">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="action">select-folder</property>
-                    <signal handler="on_filechooserTemplates_selection_changed" name="selection_changed"/>
+                    <signal name="selection-changed" handler="on_filechooserTemplates_selection_changed" swapped="no"/>
                   </object>
                   <packing>
                     <property name="left_attach">1</property>
@@ -590,6 +624,7 @@
                 <child>
                   <object class="GtkLabel" id="label25">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;&lt;i&gt;rubber&lt;/i&gt; Post-Processor&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -607,8 +642,9 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">False</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="draw_indicator">True</property>
-                    <signal handler="on_checkHideBox_toggled" name="toggled"/>
+                    <signal name="toggled" handler="on_checkHideBox_toggled" swapped="no"/>
                   </object>
                   <packing>
                     <property name="right_attach">2</property>
@@ -620,6 +656,7 @@
                 <child>
                   <object class="GtkLabel" id="label12">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;LaTeX Toolbar&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -636,8 +673,9 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">False</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="draw_indicator">True</property>
-                    <signal handler="on_checkShowToolbar_toggled" name="toggled"/>
+                    <signal name="toggled" handler="on_checkShowToolbar_toggled" swapped="no"/>
                   </object>
                   <packing>
                     <property name="right_attach">2</property>
@@ -646,11 +684,42 @@
                     <property name="x_options">GTK_FILL</property>
                   </packing>
                 </child>
+                <child>
+                  <object class="GtkLabel" id="label13">
+                    <property name="visible">True</property>
+                    <property name="can_focus">False</property>
+                    <property name="xalign">0</property>
+                    <property name="label" translatable="yes">&lt;b&gt;BibTeX&lt;/b&gt;</property>
+                    <property name="use_markup">True</property>
+                  </object>
+                  <packing>
+                    <property name="right_attach">2</property>
+                    <property name="top_attach">2</property>
+                    <property name="bottom_attach">3</property>
+                    <property name="x_options">GTK_FILL</property>
+                  </packing>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
               </object>
+              <packing>
+                <property name="position">4</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label14">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="label" translatable="yes">Miscellaneous</property>
               </object>
               <packing>
@@ -661,6 +730,7 @@
             <child>
               <object class="GtkTable" id="table5">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="border_width">10</property>
                 <property name="n_rows">8</property>
                 <property name="n_columns">4</property>
@@ -671,6 +741,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="color">#000000000000</property>
                   </object>
                   <packing>
@@ -678,12 +749,13 @@
                     <property name="right_attach">4</property>
                     <property name="top_attach">7</property>
                     <property name="bottom_attach">8</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label10">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Placeholder Foreground:</property>
                   </object>
@@ -692,7 +764,7 @@
                     <property name="right_attach">3</property>
                     <property name="top_attach">7</property>
                     <property name="bottom_attach">8</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
@@ -700,6 +772,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="color">#000000000000</property>
                   </object>
                   <packing>
@@ -707,19 +780,20 @@
                     <property name="right_attach">2</property>
                     <property name="top_attach">7</property>
                     <property name="bottom_attach">8</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label9">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Placeholder Background:</property>
                   </object>
                   <packing>
                     <property name="top_attach">7</property>
                     <property name="bottom_attach">8</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
@@ -727,6 +801,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="color">#000000000000</property>
                   </object>
                   <packing>
@@ -734,24 +809,26 @@
                     <property name="right_attach">2</property>
                     <property name="top_attach">6</property>
                     <property name="bottom_attach">7</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label7">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Template Background:</property>
                   </object>
                   <packing>
                     <property name="top_attach">6</property>
                     <property name="bottom_attach">7</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label6">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;Template&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -760,34 +837,7 @@
                     <property name="right_attach">4</property>
                     <property name="top_attach">5</property>
                     <property name="bottom_attach">6</property>
-                    <property name="y_options"/>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkColorButton" id="colorWarning">
-                    <property name="visible">True</property>
-                    <property name="can_focus">True</property>
-                    <property name="receives_default">True</property>
-                    <property name="color">#000000000000</property>
-                  </object>
-                  <packing>
-                    <property name="left_attach">1</property>
-                    <property name="right_attach">2</property>
-                    <property name="top_attach">4</property>
-                    <property name="bottom_attach">5</property>
-                    <property name="y_options"/>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkLabel" id="label20">
-                    <property name="visible">True</property>
-                    <property name="xalign">1</property>
-                    <property name="label" translatable="yes">Warning:</property>
-                  </object>
-                  <packing>
-                    <property name="top_attach">4</property>
-                    <property name="bottom_attach">5</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
@@ -795,6 +845,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="color">#000000000000</property>
                   </object>
                   <packing>
@@ -802,12 +853,13 @@
                     <property name="right_attach">4</property>
                     <property name="top_attach">3</property>
                     <property name="bottom_attach">4</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label19">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Error:</property>
                   </object>
@@ -816,39 +868,13 @@
                     <property name="right_attach">3</property>
                     <property name="top_attach">3</property>
                     <property name="bottom_attach">4</property>
-                    <property name="y_options"/>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkColorButton" id="colorSpelling">
-                    <property name="visible">True</property>
-                    <property name="can_focus">True</property>
-                    <property name="receives_default">True</property>
-                    <property name="color">#000000000000</property>
-                  </object>
-                  <packing>
-                    <property name="left_attach">1</property>
-                    <property name="right_attach">2</property>
-                    <property name="top_attach">3</property>
-                    <property name="bottom_attach">4</property>
-                    <property name="y_options"/>
-                  </packing>
-                </child>
-                <child>
-                  <object class="GtkLabel" id="label16">
-                    <property name="visible">True</property>
-                    <property name="xalign">1</property>
-                    <property name="label" translatable="yes">Misspelled Word:</property>
-                  </object>
-                  <packing>
-                    <property name="top_attach">3</property>
-                    <property name="bottom_attach">4</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label18">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;Markers&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -863,6 +889,7 @@
                 <child>
                   <object class="GtkLabel" id="label17">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">0</property>
                     <property name="label" translatable="yes">&lt;b&gt;General&lt;/b&gt;</property>
                     <property name="use_markup">True</property>
@@ -877,6 +904,7 @@
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
                     <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
                     <property name="color">#000000000000</property>
                   </object>
                   <packing>
@@ -884,22 +912,42 @@
                     <property name="right_attach">2</property>
                     <property name="top_attach">1</property>
                     <property name="bottom_attach">2</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
                   <object class="GtkLabel" id="label15">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="xalign">1</property>
                     <property name="label" translatable="yes">Light Foreground:</property>
                   </object>
                   <packing>
                     <property name="top_attach">1</property>
                     <property name="bottom_attach">2</property>
-                    <property name="y_options"/>
+                    <property name="y_options"></property>
                   </packing>
                 </child>
                 <child>
+                  <object class="GtkLabel" id="label20">
+                    <property name="visible">True</property>
+                    <property name="can_focus">False</property>
+                    <property name="xalign">1</property>
+                    <property name="label" translatable="yes">Warning:</property>
+                  </object>
+                  <packing>
+                    <property name="top_attach">3</property>
+                    <property name="bottom_attach">4</property>
+                    <property name="y_options"></property>
+                  </packing>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+                <child>
+                  <placeholder/>
+                </child>
+                <child>
                   <placeholder/>
                 </child>
                 <child>
@@ -917,11 +965,31 @@
                 <child>
                   <placeholder/>
                 </child>
+                <child>
+                  <object class="GtkColorButton" id="colorWarning">
+                    <property name="visible">True</property>
+                    <property name="can_focus">True</property>
+                    <property name="receives_default">True</property>
+                    <property name="use_action_appearance">False</property>
+                    <property name="color">#000000000000</property>
+                  </object>
+                  <packing>
+                    <property name="left_attach">1</property>
+                    <property name="right_attach">2</property>
+                    <property name="top_attach">3</property>
+                    <property name="bottom_attach">4</property>
+                    <property name="y_options"></property>
+                  </packing>
+                </child>
               </object>
+              <packing>
+                <property name="position">5</property>
+              </packing>
             </child>
             <child type="tab">
               <object class="GtkLabel" id="label5">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <property name="label" translatable="yes">Editor</property>
               </object>
               <packing>
@@ -931,40 +999,15 @@
             </child>
           </object>
           <packing>
-            <property name="position">1</property>
-          </packing>
-        </child>
-        <child internal-child="action_area">
-          <object class="GtkHButtonBox" id="dialog-action_area1">
-            <property name="visible">True</property>
-            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-            <property name="layout_style">end</property>
-            <child>
-              <object class="GtkButton" id="buttonClose">
-                <property name="label" translatable="yes">gtk-close</property>
-                <property name="visible">True</property>
-                <property name="can_focus">True</property>
-                <property name="can_default">True</property>
-                <property name="has_default">True</property>
-                <property name="receives_default">True</property>
-                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                <property name="use_stock">True</property>
-                <signal handler="on_buttonClose_clicked" name="clicked"/>
-              </object>
-              <packing>
-                <property name="expand">False</property>
-                <property name="fill">False</property>
-                <property name="position">0</property>
-              </packing>
-            </child>
-          </object>
-          <packing>
             <property name="expand">False</property>
-            <property name="pack_type">end</property>
-            <property name="position">0</property>
+            <property name="fill">True</property>
+            <property name="position">1</property>
           </packing>
         </child>
       </object>
     </child>
+    <action-widgets>
+      <action-widget response="0">buttonClose</action-widget>
+    </action-widgets>
   </object>
 </interface>



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]