diff options
author | Simon Schampijer <simon@schampijer.de> | 2009-02-17 11:31:26 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2009-02-17 11:31:26 (GMT) |
commit | 3dac4c53652c70ae5301036e7c5db3c7638a76ed (patch) | |
tree | 59a84a179c29f27783e9550f6c228888dfd3d9e1 /extensions | |
parent | e6cb4f6d66874cacce76aaa0202a5001d34c3ef2 (diff) |
View Source: Use document generic, part of #360
Diffstat (limited to 'extensions')
-rw-r--r-- | extensions/globalkey/viewsource.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extensions/globalkey/viewsource.py b/extensions/globalkey/viewsource.py index 40df9af..11e5d63 100644 --- a/extensions/globalkey/viewsource.py +++ b/extensions/globalkey/viewsource.py @@ -206,7 +206,7 @@ class Toolbar(gtk.Toolbar): self._add_separator() if document_path is not None and os.path.exists(document_path): - document_button = RadioToolButton(named_icon='view-radial') + document_button = RadioToolButton(named_icon='document-generic') document_button.props.tooltip = _('Document') document_button.props.group = activity_button document_button.connect('toggled', self.__button_toggled_cb, |