7 def get_language(*args
):
10 def language_manager_get_default():
11 return DummyLanguage()
14 def get_scheme(*args
):
17 def style_scheme_manager_get_default():
21 class Buffer(gtk
.TextBuffer
):
22 def __init__(self
, *args
):
23 gtk
.TextBuffer
.__init
__(self
, *args
)
25 def set_language(self
, *args
):
28 def set_style_scheme(self
, *args
):
31 def set_highlight_syntax(self
, *args
):
34 def set_highlight_matching_brackets(self
, *args
):
38 class View(gtk
.TextView
):
39 def __init__(self
, *args
):
40 gtk
.TextView
.__init
__(self
, *args
)