Exemple #1
0
    def view_nodes(self, nodes):
        """View a page in the editor"""

        # editor cannot view multiple nodes at once
        # if asked to, it will view none
        if len(nodes) > 1:
            nodes = []

        # save current page before changing nodes
        self.save()
        self._save_cursor()

        if len(nodes) == 0:
            self.clear_view()

        else:
            page = nodes[0]
            self._page = page
            if not SourceView:
                self._textview.enable()

            try:
                if page.has_attr("payload_filename"):
                    #text = safefile.open(
                    #    os.path.join(page.get_path(),
                    #                 page.get_attr("payload_filename")),
                    #    codec="utf-8").read()
                    infile = page.open_file(page.get_attr("payload_filename"),
                                            "r", "utf-8")
                    text = infile.read()
                    infile.close()
                    self._textview.get_buffer().set_text(text)
                    self._load_cursor()

                    if SourceView:
                        manager = SourceLanguageManager()
                        #print manager.get_language_ids()
                        #lang = manager.get_language_from_mime_type(
                        #    page.get_attr("content_type"))
                        lang = manager.get_language("python")
                        self._textview.get_buffer().set_language(lang)

                else:
                    self.clear_view()

            except RichTextError as e:
                self.clear_view()
                self.emit("error", e.msg, e)
            except Exception as e:
                self.clear_view()
                self.emit("error", "Unknown error", e)

        if len(nodes) > 0:
            self.emit("view-node", nodes[0])
    def view_pages(self, pages):
        """View a page in the editor"""
        
        # editor cannot view multiple pages at once
        # if asked to, it will view none
        if len(pages) > 1:
            pages = []

        # save current page before changing pages
        self.save()
        self._save_cursor()
        
        
        if len(pages) == 0:            
            self.clear_view()
                
        else:
            page = pages[0]
            self._page = page
            if not SourceView:
                self._textview.enable()

            try:
                if page.has_attr("payload_filename"):
                    #text = safefile.open(
                    #    os.path.join(page.get_path(),
                    #                 page.get_attr("payload_filename")),
                    #    codec="utf-8").read()
                    infile = page.open_file(
                        page.get_attr("payload_filename"), "r", "utf-8")
                    text = infile.read()
                    infile.close()
                    self._textview.get_buffer().set_text(text)
                    self._load_cursor()

                    
                    if SourceView:
                        manager = SourceLanguageManager()
                        #print manager.get_language_ids()
                        #lang = manager.get_language_from_mime_type(
                        #    page.get_attr("content_type"))
                        lang = manager.get_language("python")
                        self._textview.get_buffer().set_language(lang)

                else:
                    self.clear_view()

            except RichTextError, e:
                self.clear_view()                
                self.emit("error", e.msg, e)
            except Exception, e:
                self.clear_view()
                self.emit("error", "Unknown error", e)
Exemple #3
0
    def _init (cls):
        def callback (widget, allocation):
            cls.widgets["enterGameNotationFrame"].set_size_request(
                    223, allocation.height-4)
        cls.widgets["enterGameNotationSidePanel"].connect_after("size-allocate", callback)

        flags = []
        if isInstalled():
            path = gettext.find("pychess")
        else:
            path = gettext.find("pychess", localedir=addDataPrefix("lang"))
        if path:
            loc = locale.getdefaultlocale()[0][-2:].lower()
            flags.append(addDataPrefix("flags/%s.png" % loc))

        flags.append(addDataPrefix("flags/us.png"))

        cls.ib = ImageButton(flags)
        cls.widgets["imageButtonDock"].add(cls.ib)
        cls.ib.show()

        cls.sourcebuffer = SourceBuffer()
        sourceview = SourceView(cls.sourcebuffer)
        cls.widgets["scrolledwindow6"].add(sourceview)
        sourceview.show()

        # Pgn format does not allow tabulator
        sourceview.set_insert_spaces_instead_of_tabs(True)
        sourceview.set_wrap_mode(gtk.WRAP_WORD)

        man = LanguageManager()
        # Init new version
        if hasattr(man.props, 'search_path'):
            path = os.path.join(getDataPrefix(),"gtksourceview-1.0/language-specs")
            man.props.search_path = man.props.search_path + [path]
            if 'pgn' in man.get_language_ids():
                lang = man.get_language('pgn')
                cls.sourcebuffer.set_language(lang)
            else:
                log.warn("Unable to load pgn syntax-highlighting.")
            cls.sourcebuffer.set_highlight_syntax(True)
        # Init old version
        else:
            os.environ["XDG_DATA_DIRS"] = getDataPrefix()+":/usr/share/"
            man = LanguageManager()
            for lang in man.get_available_languages():
                if lang.get_name() == "PGN":
                    cls.sourcebuffer.set_language(lang)
                    break
            else:
                log.warn("Unable to load pgn syntax-highlighting.")
            cls.sourcebuffer.set_highlight(True)
 def __init__(self, model):
     
     self._model = model
     self._model.connect(
         "document-added",
         self._on_document_added
         )
     self._model.connect(
         "document-refreshed",
         self._on_document_refreshed
         )
     self._model.connect(
         "document-changed",
         self._on_document_changed
         )
     
     Settings.get().connect("settings-changed",
                            self._on_settings_changed
                            )
             
     self._language_manager = LanguageManager()
     language_path = os.path.dirname(__file__)
     language_path = os.path.abspath(language_path)
     language_path += os.sep + "resources"
     search_path = self._language_manager.get_search_path()
     search_path.insert(0, language_path)
     self._language_manager.set_search_path(search_path)
     
     self._notebook = gtk.Notebook()
     self._notebook.set_property("scrollable", True)
     
     self._clipboard = gtk.Clipboard()
     
     self._popup = None
     self._create_popup_menu()
     
     self._num_new_docs = 0
class DocumentsView(object):
    
    def __init__(self, model):
        
        self._model = model
        self._model.connect(
            "document-added",
            self._on_document_added
            )
        self._model.connect(
            "document-refreshed",
            self._on_document_refreshed
            )
        self._model.connect(
            "document-changed",
            self._on_document_changed
            )
        
        Settings.get().connect("settings-changed",
                               self._on_settings_changed
                               )
                
        self._language_manager = LanguageManager()
        language_path = os.path.dirname(__file__)
        language_path = os.path.abspath(language_path)
        language_path += os.sep + "resources"
        search_path = self._language_manager.get_search_path()
        search_path.insert(0, language_path)
        self._language_manager.set_search_path(search_path)
        
        self._notebook = gtk.Notebook()
        self._notebook.set_property("scrollable", True)
        
        self._clipboard = gtk.Clipboard()
        
        self._popup = None
        self._create_popup_menu()
        
        self._num_new_docs = 0
        
    def get_current_index(self):
        
        return self._notebook.get_current_page()
            
    def get_content(self, idx):
        
        view = self._notebook.get_nth_page(idx).get_child()
        buf = view.get_buffer()
        
        return buf.get_text(buf.get_start_iter(),
                            buf.get_end_iter()
                            )
                
    def exec_action(self, action_name):

        page_idx = self._notebook.get_current_page()
        if page_idx < 0:
            return
        doc_container = self._notebook.get_nth_page(page_idx)
        doc_view = doc_container.get_child()
        buf = doc_view.get_buffer()
        
        if action_name in self._codesnippet:
            
            line_begin = self._get_line_begin_at_cursor_pos()
            code = self._codesnippet[action_name](line_begin)
            
            if code:
                buf.insert_at_cursor(u"%s" % code)

        elif action_name == "cut":

            buf.cut_clipboard(self._clipboard, 
                              doc_view.get_editable()
                              )

        elif action_name == "copy":

            buf.copy_clipboard(self._clipboard)
            
        elif action_name == "paste":

            buf.paste_clipboard(self._clipboard, 
                                None,
                                doc_view.get_editable()
                                )
    
    def _create_popup_menu(self):
        
        if not self._popup:
            
            self._actions = gtk.ActionGroup("EditorActions")
            self._add_action("package-new", _("New Package"))
            self._add_action("class", _("Class"))
            self._add_action("class-new", _("New"))
            self._add_action("class-implements", _("Implements..."))
            self._add_action("class-constructor", _("Constructor"))
            self._add_action("class-constructor-new", _("New"))
            self._add_action("class-constructor-param", _("New Parameter"))
            self._add_action("class-constructor-initprop", _("New Property Init."))
            self._add_action("class-method", _("Method"))
            self._add_action("class-method-new", _("New"))
            self._add_action("class-method-result", _("New Result"))
            self._add_action("class-method-param", _("New Parameter"))
            self._add_action("class-override", _("Override..."))
            self._add_action("class-attr", _("New Attribute"))
            self._add_action("class-prop", _("New Property"))
            self._add_action("class-signal", _("Signal"))
            self._add_action("class-signal-new", _("New"))
            self._add_action("class-signal-param", _("New Parameter"))
            self._add_action("interface", _("Interface"))
            self._add_action("interface-new", _("New"))
            self._add_action("interface-extends", _("Extends..."))
            self._add_action("interface-method", _("Method"))
            self._add_action("interface-method-new", _("New"))
            self._add_action("interface-method-result", _("New Result"))
            self._add_action("interface-method-param", _("New Parameter"))
            self._add_action("interface-signal", _("Signal"))
            self._add_action("interface-signal-new", _("New"))
            self._add_action("interface-signal-param", _("New Parameter"))
            self._add_action("enumeration-new", _("New Enumeration"))
            self._add_action("error_domain-new", _("New Error Domain"))
            self._add_action("include_model", _("Include Model File"))
            self._add_action("cut", _("Cut"))
            self._add_action("copy", _("Copy"))
            self._add_action("paste", _("Paste"))
             
            mngr = gtk.UIManager()
            mngr.insert_action_group(self._actions)
            mngr.add_ui_from_file(
                self._get_resource_path("popup_menu.xml"))
            self._popup = mngr.get_widget("/ui/popup")
            
            # Codesnippet callbacks
            self._codesnippet = {}
            self._codesnippet["package-new"] = \
                code_creation.codesnippet_package
            self._codesnippet["class-new"] = \
                code_creation.codesnippet_class
            self._codesnippet["class-implements"] = \
                code_creation.codesnippet_implements
            self._codesnippet["class-constructor-new"] = \
                code_creation.codesnippet_constructor
            self._codesnippet["class-constructor-param"] = \
                code_creation.codesnippet_constructor_param
            self._codesnippet["class-constructor-initprop"] = \
                code_creation.codesnippet_init_property
            self._codesnippet["class-method-new"] = \
                code_creation.codesnippet_method
            self._codesnippet["class-method-result"] = \
                code_creation.codesnippet_result
            self._codesnippet["class-method-param"] = \
                code_creation.codesnippet_param
            self._codesnippet["class-override"] = \
                code_creation.codesnippet_override
            self._codesnippet["class-attr"] = \
                code_creation.codesnippet_attr
            self._codesnippet["class-prop"] = \
                code_creation.codesnippet_property
            self._codesnippet["class-signal-new"] = \
                code_creation.codesnippet_signal
            self._codesnippet["class-signal-param"] = \
                code_creation.codesnippet_param
            self._codesnippet["interface-new"] = \
                code_creation.codesnippet_interface
            self._codesnippet["interface-extends"] = \
                code_creation.codesnippet_extends
            self._codesnippet["interface-method-new"] = \
                code_creation.codesnippet_intf_method
            self._codesnippet["interface-method-result"] = \
                code_creation.codesnippet_result
            self._codesnippet["interface-method-param"] = \
                code_creation.codesnippet_param
            self._codesnippet["interface-signal-new"] = \
                code_creation.codesnippet_signal
            self._codesnippet["interface-signal-param"] = \
                code_creation.codesnippet_param
            self._codesnippet["enumeration-new"] = \
                code_creation.codesnippet_enumeration
            self._codesnippet["enumeration-new"] = \
                code_creation.codesnippet_enumeration
            self._codesnippet["error_domain-new"] = \
                code_creation.codesnippet_error_domain
            self._codesnippet["include_model"] = \
                code_creation.codesnippet_include_model
                        
        return self._popup

    def _add_action(self, name, label):
        
        action = gtk.Action(name, label, name, None)
        action.connect("activate", self._on_popup_action_activated)
        
        self._actions.add_action(action)
                    
    def _get_line_begin_at_cursor_pos(self):
        
        page_idx = self._notebook.get_current_page()
        doc_view = self._notebook.get_nth_page(page_idx).get_child()
        buf = doc_view.get_buffer()
       
        end = buf.get_iter_at_mark(buf.get_insert())
        line_idx = end.get_line()
        start = buf.get_iter_at_line(line_idx)
        
        line_begin = ""
        tmp = buf.get_text(start, end)
        for ch in tmp:
            if ch != "\t":
                line_begin += " "
            else:
                line_begin += ch
        
        return line_begin

    def _get_resource_path(self, resource_file):
               
        return get_resource_path(resource_file)
    
    def _get_widget(self):
        
        return self._notebook
    
    widget = property(_get_widget)
    
    def _new_file_name(self):
        
        file_name = _("Untitled")
        
        if self._num_new_docs:
            file_name += "%d" % self._num_new_docs
        
        self._num_new_docs += 1
        
        return file_name
    
    def _set_document_title(self, idx):
        
        page = self._notebook.get_nth_page(idx)
        hbox = self._notebook.get_tab_label(page)
        label = hbox.get_children()[0]
        
        state = self._model.get_state(idx)
        if state == DocState.NEW:
            text = self._new_file_name()
        else:
            file_path = self._model.get_file_path(idx)
            text = os.path.basename(file_path)
            if state == DocState.CHANGED:
                text += "*"
        
        label.set_text(text)
        
    def _show_line_numbers(self, show):
        
        if not self._notebook.get_n_pages():
            return
        
        idx = 0
        page = self._notebook.get_nth_page(idx)
        while page:
            view = page.get_child()
            view.set_show_line_numbers(show)
            idx += 1
            page = self._notebook.get_nth_page(idx)
            
    def _set_font(self, font_name):
        
        if not self._notebook.get_n_pages():
            return
        
        idx = 0
        page = self._notebook.get_nth_page(idx)
        font_desc = pango.FontDescription(font_name)
        while page:
            view = page.get_child()
            view.modify_font(font_desc)
            idx += 1
            page = self._notebook.get_nth_page(idx)
                
    def _on_button_pressed(self, view, event):
        
        if event.type != gtk.gdk.BUTTON_PRESS:
            return False
        
        if event.button == 3:
            menu = self._create_popup_menu()
            menu.popup(None, None, None, 
                       event.button, event.get_time())
        else:
            return False
        
        return True # stop further handling
    
    def _on_buffer_changed(self, buffer):
        
        page_idx = self._notebook.get_current_page()
        self._model.touch_document(page_idx)
        
    def _on_popup_action_activated(self, action, *args):
        
        name = action.get_name()
        self.exec_action(name)
    
    def _on_close_button_clicked(self, button):
        
        if not self._notebook.get_n_pages():
            return
        
        idx = 0
        page = self._notebook.get_nth_page(idx)
        while page:
            close_button = self._notebook.get_tab_label(page).get_children()[1]
            if close_button is button:
                self._notebook.remove_page(idx)
                self._model.close_document(idx)
                break
            idx += 1
            page = self._notebook.get_nth_page(idx)        
               
    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 _on_document_refreshed(self, model, idx, content):
        
        self._set_document_title(idx)
        
        buf = self._notebook.get_nth_page(idx).get_child().get_buffer()
        buf.set_text(content)
    
    def _on_document_changed(self, model, idx):
        
        self._set_document_title(idx)
        
    def _on_settings_changed(self, settings, name):
        
        if name == "show_line_numbers":
            
            self._show_line_numbers(settings.show_line_numbers)
            
        elif name == "font_name":
            
            self._set_font(settings.font_name)