def _on_document_added(self, model, idx, content):
view = View()
view.show()
lang = self._language_manager.get_language("gobject-creator")
buf = Buffer(language=lang)
buf.set_highlight_syntax(True)
view.set_buffer(buf)
view.set_auto_indent(True)
view.set_show_line_numbers(Settings.get().show_line_numbers)
font_desc = pango.FontDescription(Settings.get().font_name)
view.modify_font(font_desc)
doc_container = gtk.ScrolledWindow()
doc_container.show()
doc_container.add(view)
hbox = gtk.HBox()
hbox.show()
label = gtk.Label("")
label.show()
hbox.pack_start(label)
close_button = gtk.Button()
image = gtk.Image()
image.set_from_stock(gtk.STOCK_CLOSE, gtk.ICON_SIZE_MENU)
close_button.set_image(image)
close_button.set_relief(gtk.RELIEF_NONE)
close_button.show()
hbox.pack_start(close_button)
self._notebook.insert_page(doc_container,
hbox,
idx
)
self._notebook.set_current_page(idx)
view.connect("button_press_event",
self._on_button_pressed
)
close_button.connect(
"clicked",
self._on_close_button_clicked
)
buf = view.get_buffer()
buf.connect(
"changed",
self._on_buffer_changed
)
self._set_document_title(idx)
buf.set_text(content)
def __init__(self, filename=None, text=None, title="View"):
# Defining the main window
window = gtk.Window(gtk.WINDOW_TOPLEVEL)
window.set_resizable(True)
window.connect("destroy", self.close_window, window)
window.set_title(title)
window.set_border_width(0)
window.set_position(gtk.WIN_POS_CENTER)
window.set_size_request(600, 400)
#Creating a vertical box
box = gtk.VBox(False, 10)
box.set_border_width(10)
window.add(box)
box.show()
# TODO add status bar where this message can be reported?
if not HAVE_SOURCEVIEW or lang is None:
print "UNABLE TO LOCATE ASCEND LANGUAGE DESCRIPTION for gtksourceview"
#Creating a ScrolledWindow for the textview widget
scroll = gtk.ScrolledWindow()
scroll.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
view = MyView()
view.set_editable(False)
buff = MyBuffer()
if HAVE_SOURCEVIEW:
buff.set_language(lang)
buff.set_highlight_syntax(True)
view.set_buffer(buff)
scroll.add(view)
scroll.show()
view.show()
box.pack_start(scroll)
if filename is not None:
#Get the content of the file
model = open(filename, "r")
if model:
string = model.read()
model.close()
buff.set_text(string)
else:
self.reporter.reportError("Error opening the file")
elif text is not None:
buff.set_text(text)
else:
buff.set_text("Nothing was selected")
window.show()
def __init__(self, filename=None, text=None, title="View"):
# Defining the main window
window = gtk.Window(gtk.WINDOW_TOPLEVEL)
window.set_resizable(True)
window.connect("destroy", self.close_window, window)
window.set_title(title)
window.set_border_width(0)
window.set_position(gtk.WIN_POS_CENTER)
window.set_size_request(600,400)
#Creating a vertical box
box = gtk.VBox(False, 10)
box.set_border_width(10)
window.add(box)
box.show()
# TODO add status bar where this message can be reported?
if not HAVE_SOURCEVIEW or lang is None:
print "UNABLE TO LOCATE ASCEND LANGUAGE DESCRIPTION for gtksourceview"
#Creating a ScrolledWindow for the textview widget
scroll = gtk.ScrolledWindow()
scroll.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC)
view = MyView()
view.set_editable(False)
buff = MyBuffer()
if HAVE_SOURCEVIEW:
buff.set_language(lang)
buff.set_highlight_syntax(True)
view.set_buffer(buff)
scroll.add(view)
scroll.show()
view.show()
box.pack_start(scroll)
if filename is not None:
#Get the content of the file
model = open(filename, "r")
if model:
string = model.read()
model.close()
buff.set_text(string)
else:
self.reporter.reportError( "Error opening the file" )
elif text is not None:
buff.set_text(text)
else:
buff.set_text("Nothing was selected")
window.show()
def set_text(self, text, undoable=False):
return _Buffer.set_text(self, utils.make_utf8_compliant(text))
