Esempio n. 1
0
    def __init__(self):
        gtksourceview.View.__init__(self)

        self._current_line = None
        self._current_source = None

        buffer = gtksourceview.Buffer()
        php_lang = _get_language_for_mime_type('application/x-php')
        if php_lang:
            buffer.set_language(php_lang)
        buffer.set_highlight_syntax(True)
        buffer.set_highlight_matching_brackets(False)

        config = Config.get_instance()

        mgr = gtksourceview.style_scheme_manager_get_default()
        style_scheme = mgr.get_scheme(config['style_scheme'])
        if style_scheme:
            buffer.set_style_scheme(style_scheme)

        self.set_show_line_numbers(True)
        self.set_show_line_marks(True)
        self.set_editable(False)
        self.set_cursor_visible(False)
        self.set_buffer(buffer)
        self._set_font()
        self._add_tags()
        self._add_marks()
Esempio n. 2
0
File: app.py Progetto: gza/pdbg
    def _setup(self):
        config = Config.get_instance()

        logging.basicConfig(
            level=config['logging_level'], 
            format='%(asctime)s %(levelname)s %(message)s')

        # Override some of the theme styles.
        gtk.rc_parse_string(_gtk_styles)

        # Connect application signal handlers.
        app_view = AppView.get_instance()
        app_view['window'].connect('destroy', self.on_quit_app)
        app_view['quit_item'].connect('activate', self.on_quit_app)
        app_view['about_item'].connect('activate', self.on_activate_about)

        # Setup singleton managers.
        ListenerManager.get_instance().setup()
        PagesManager.get_instance().setup()
        ToolbarManager.get_instance().setup()

        # Interpolate the ip address/port into the placeholder label.
        app_view = AppView.get_instance()
        info_lbl = app_view['info_page_label']
        listener = ListenerManager.get_instance().listener
        info_lbl.set_text(info_lbl.get_text() % (listener.ip_address, \
            listener.port))

        # Register a function to poll for incoming connections.
        gobject.timeout_add(config['listener_timeout_ms'], self.on_timeout)
Esempio n. 3
0
File: app.py Progetto: gza/pdbg
    def _setup(self):
        config = Config.get_instance()

        logging.basicConfig(
            level=config['logging_level'], 
            format='%(asctime)s %(levelname)s %(message)s')

        readline.parse_and_bind('tab: complete')
Esempio n. 4
0
 def _add_tags(self):
     config = Config.get_instance()
     tag = gtk.TextTag('current_line')
     tag.set_property('foreground', config['current_line_foreground'])
     tag.set_property('foreground-set', True)
     tag.set_property('paragraph-background', \
         config['current_line_background'])
     tag.set_property('paragraph-background-set', True)
     self.get_buffer().get_tag_table().add(tag)
Esempio n. 5
0
File: about.py Progetto: gza/pdbg
    def _about_dialog(self):
        config = Config.get_instance()

        dialog = gtk.AboutDialog()
        dialog.set_name('pDBG')
        dialog.set_version('0.01')
        dialog.set_website('http://pdbg.googlecode.com')
        dialog.set_authors(['Christopher Utz <*****@*****.**>'])
        dialog.set_copyright(u'\u00A92008 Christopher Utz')
        dialog.set_comments('A frontend for DBGp protocol based debugging engines')
        dialog.set_license(_license_text)
        dialog.set_wrap_license(True)
        return dialog
Esempio n. 6
0
File: page.py Progetto: gza/pdbg
    def on_init_packet(self, mgr, init, remote_addr):
        # Called by conn_mgr when the initial XML packet is received from the
        # engine. Appends a new notebook page and requests the source for the
        # initial script.
        conn_info = init.get_engine_info()
        conn_info.update({ 'remote_ip': remote_addr[0], 
            'remote_port': remote_addr[1] })

        app_view = AppView.get_instance()
        self._page_num = self._view.append_page_on_init(conn_info, 
            app_view['notebook'])

        file_uri = init.file_uri
        src_callback = bind_params(self.on_init_source, file_uri)

        mgr.send_source(file_uri, observer=src_callback)
        mgr.send_typemap_get(observer=self.on_init_typemap_get)
        mgr.send_stdout(observer=self.on_init_stdout)
        mgr.send_stderr(observer=self.on_init_stderr)
        mgr.send_status(observer=self.on_init_status)

        config = Config.get_instance()
        gobject.timeout_add(config['init_check_timeout_ms'], 
            self.on_check_init_steps)
Esempio n. 7
0
 def _add_marks(self):
     config = Config.get_instance()
     img = gtk.gdk.pixbuf_new_from_file(config.get_image_path('breakpoint'))
     self.set_mark_category_pixbuf('breakpoint', img)