diff options
| author | David Aspinall | 1998-09-09 15:52:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-09 15:52:16 +0000 |
| commit | 270247e4b9fdb3a9b591910a9d682121bb230d19 (patch) | |
| tree | 95d5e8f113c6ec1dbb7d263962efb44fe2c462ed /generic/proof-toolbar.el | |
| parent | 70c1224f95d7f9ced4910adbaa695ebb5df98cf9 (diff) | |
Renamed recycle icon to restart
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 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") ;; |