diff options
| author | Gonzalo Odiard <godiard@gmail.com> | 2014-02-04 21:12:47 (GMT) |
|---|---|---|
| committer | Gonzalo Odiard <godiard@gmail.com> | 2014-02-04 21:12:47 (GMT) |
| commit | 656d8ea337d4ccfcc4554ae87bae1e846a954e5f (patch) | |
| tree | e6d7f8433d22f387801a263fb033862a38515cb9 /develop-activity/develop_app.py | |
| parent | a3ce4eaa3e7e8353866b71572cc503cd38fc17b0 (diff) | |
Better icons for sources, symbols ands logs radiotoolbuttons
Diffstat (limited to 'develop-activity/develop_app.py')
| -rw-r--r-- | develop-activity/develop_app.py | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/develop-activity/develop_app.py b/develop-activity/develop_app.py index d08c99e..db7e864 100644 --- a/develop-activity/develop_app.py +++ b/develop-activity/develop_app.py @@ -125,29 +125,29 @@ class DevelopActivity(activity.Activity): toolbarbox.toolbar.insert(gtk.SeparatorToolItem(), -1) show_files_btn = RadioToolButton() - show_files_btn.props.icon_name = 'format-justify-left' + show_files_btn.props.icon_name = 'sources' show_files_btn.props.group = show_files_btn show_files_btn.set_active(True) show_files_btn.set_tooltip(_('Show source files')) toolbarbox.toolbar.insert(show_files_btn, -1) show_files_btn.connect('clicked', self._change_treenotebook_page, 0) - show_log_btn = RadioToolButton() - show_log_btn.props.icon_name = 'format-justify-fill' - show_log_btn.props.group = show_files_btn - show_log_btn.set_active(False) - show_log_btn.set_tooltip(_('Show log files')) - toolbarbox.toolbar.insert(show_log_btn, -1) - show_log_btn.connect('clicked', self._change_treenotebook_page, 2) - show_symbols_btn = RadioToolButton() - show_symbols_btn.props.icon_name = 'search' + show_symbols_btn.props.icon_name = 'symbols' show_symbols_btn.props.group = show_files_btn show_symbols_btn.set_active(False) show_symbols_btn.set_tooltip(_('Show file symbols')) toolbarbox.toolbar.insert(show_symbols_btn, -1) show_symbols_btn.connect('clicked', self.explore_code) + show_log_btn = RadioToolButton() + show_log_btn.props.icon_name = 'logs' + show_log_btn.props.group = show_files_btn + show_log_btn.set_active(False) + show_log_btn.set_tooltip(_('Show log files')) + toolbarbox.toolbar.insert(show_log_btn, -1) + show_log_btn.connect('clicked', self._change_treenotebook_page, 2) + toolbarbox.toolbar.insert(gtk.SeparatorToolItem(), -1) separator = gtk.SeparatorToolItem() |