def load_other_file(self, source): current_tab = self.window.get_active_tab() self.same_document[current_tab] = False self.split_views[current_tab].remove( self.split_views[current_tab].get_children()[1]) new_document = Pluma.Document() #.Pluma_document_new() new_document.load("file://" + source.replace(" ", "%20"), self.encoding, 1, True) new_view = Pluma.View.new_with_buffer( new_document) #.Pluma_view_new(new_document) new_document.connect("mark-set", self.update_line_column_data) new_document.save(0) self.alt_views[current_tab] = new_document sw = Gtk.ScrolledWindow() sw.add(new_view) self.split_views[current_tab].add2(sw) self.label_other_document.set_label( os.path.basename(source).replace("%20", " ")) self.window.get_active_tab().show_all()
def do_get_info_widget(self, proposal): if not self.info_widget: view = Pluma.View.new_with_buffer(Pluma.Document()) manager = get_language_manager() lang = manager.get_language('snippets') view.get_buffer().set_language(lang) sw = Gtk.ScrolledWindow() sw.add(view) self.info_view = view self.info_widget = sw return self.info_widget