aboutsummaryrefslogtreecommitdiffhomepage
path: root/images/gimp/scripts/proofgeneral.scm
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-10-01 11:18:37 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-10-01 11:18:37 +0000
commit5a135c2193fef3dfbb023d05c56deef77be35847 (patch)
tree91b0de4c9261c575ba8b27ecf8f5d9c71471f75f /images/gimp/scripts/proofgeneral.scm
parentac70c9a82d5cc364c414c4e3d3299cf09d1d3670 (diff)
Added interrupt button.
Diffstat (limited to 'images/gimp/scripts/proofgeneral.scm')
-rw-r--r--images/gimp/scripts/proofgeneral.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm
index 77be8c62..757734fc 100644
--- a/images/gimp/scripts/proofgeneral.scm
+++ b/images/gimp/scripts/proofgeneral.scm
@@ -48,7 +48,7 @@
(define (script-fu-proofgeneral-make-all-buttons)
(mapcar script-fu-proofgeneral-make-button
- '("goal" "next" "qed" "restart" "retract" "undo" "use" "state" "context" "info" "command" "find" "help")))
+ '("goal" "next" "qed" "restart" "retract" "undo" "use" "state" "context" "info" "command" "find" "help" "interrupt")))
(script-fu-register "script-fu-proofgeneral-make-all-buttons"
"<Toolbox>/Xtns/Script-Fu/Proof General/Make All Buttons"