Commit 523f1d5d authored by Kai Willadsen's avatar Kai Willadsen

Rename our language selector

parent 0fa9f7e1
...@@ -77,6 +77,6 @@ class SourceLangSelector(FilteredListSelector, Gtk.Grid): ...@@ -77,6 +77,6 @@ class SourceLangSelector(FilteredListSelector, Gtk.Grid):
# TODO: When there's proper pygobject support for widget templates, # TODO: When there's proper pygobject support for widget templates,
# make both selectors here use a generic UI file. We can't do this # make both selectors here use a generic UI file. We can't do this
# currently due to subclassing issues. # currently due to subclassing issues.
template = open(ui_file('gedit-highlight-mode-selector.ui'), 'rb').read() template = open(ui_file('language-selector.ui'), 'rb').read()
template_bytes = GLib.Bytes.new(template) template_bytes = GLib.Bytes.new(template)
SourceLangSelector.set_template(template_bytes) SourceLangSelector.set_template(template_bytes)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment