diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 15:52:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 15:52:16 +0000 |
commit | 270247e4b9fdb3a9b591910a9d682121bb230d19 (patch) | |
tree | 95d5e8f113c6ec1dbb7d263962efb44fe2c462ed | |
parent | 70c1224f95d7f9ced4910adbaa695ebb5df98cf9 (diff) |
Renamed recycle icon to restart
-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 |