diff options
| -rw-r--r-- | generic/proof-toolbar.el | 2 | ||||
| -rw-r--r-- | images/restart.xpm (renamed from images/recycle.xpm) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index f0a558e4..a32a82fa 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -167,7 +167,7 @@ Initialised in proof-toolbar-setup.") (proof-toolbar-prev-icon "right") (proof-toolbar-goal-icon "goal") (proof-toolbar-qed-icon "qed") - (proof-toolbar-restart-icon "recycle")) + (proof-toolbar-restart-icon "restart")) "List of icon variable names and their associated image files") ;; diff --git a/images/recycle.xpm b/images/restart.xpm index e9bac00e..e9bac00e 100644 --- a/images/recycle.xpm +++ b/images/restart.xpm |