5
LANG_MANAGER = gtksourceview.SourceLanguagesManager()
7
class BaseView(gtksourceview.SourceView):
9
super(BaseView, self).__init__()
10
self.set_auto_indent(True)
11
self.set_show_line_numbers(True)
12
self.set_show_line_markers(True)
13
self.set_tabs_width(4)
15
self.set_show_margin(True)
16
self.set_smart_home_end(True)
17
self.set_highlight_current_line(True)
18
self.set_insert_spaces_instead_of_tabs(True)
19
text.make_source_view_indentable(self)
22
class BaseBuffer(gtksourceview.SourceBuffer):
25
super(BaseBuffer, self).__init__()
26
self.languages_manager = LANG_MANAGER
27
self.set_highlight(True)
29
def set_mime_type(self, mtype):
31
lang = self.languages_manager.get_language_from_mime_type(mts)
33
self.set_language(lang)