Added interrupt button.

6 files changed, 150 insertions, 2 deletions

diff --git a/images/Makefile b/images/Makefile
index 4e6ae5e7..5dce4a91 100644
--- a/images/Makefile
+++ b/images/Makefile
@@ -19,7 +19,7 @@
 ###########################################################################
 
 # Sources
-BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf
+BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf
 WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf
 
 # Targets for html directory
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"
diff --git a/images/interrupt.8bit.xpm b/images/interrupt.8bit.xpm
new file mode 100644
index 00000000..9438fa6f
--- /dev/null
+++ b/images/interrupt.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * interrupt_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #373130",
+"+	c #9A4746",
+"@	c #957979",
+"#	c #860E0C",
+"$	c #BDBDBB",
+"%	c #8A1819",
+"&	c #FEFEFC",
+"*	c #F80405",
+"$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@$",
+"$+%%%%%%%%%%%%%%%%%%%%%%%%%%%%#$",
+"$+%++++++++@*#*#*#*#*%+++++++%%$",
+"$+#$$$$$$&*************&$$$$$+#$",
+"$+#$$$$$&***************&$$$$+#$",
+"$+#$$$$&*****************&$$$+#$",
+"$+#$$$&*******************&$$+#$",
+"$+#$$$********************&$$+#$",
+"$+%$$$*********************$$+#$",
+"$+%$$$**&&&&&&&&&&&&&&&&&**$$+#$",
+"$+%$$$*&&&&&&&&&&&&&&&&&&&*$$+#$",
+"$+%$$$*&&&&&&&&&&&&&&&&&&&*$$+#$",
+"$+%$$$**&&&&&&&&&&&&&&&&&**$$+#$",
+"$+%$$$*********************$$+#$",
+"$+%$$$@*******************&$$+#$",
+"$+#$$$@*******************&$$+#$",
+"$+#$$$&******************&&$$+#$",
+"$+#$$$&&****************&&$$$+#$",
+"$+#$$$$&&**************&&$$$$+#$",
+"$+#$$$$$&*************&&$$$$$+#$",
+"$+#@@@@@@$$**********$@@@@@@@+#$",
+"$+#%#%%%%##############%#%#####$",
+"$@+++++++++++++.#++++++++++++++$",
+"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$",
+"$$$$$$@...$@@$$$$$$$$$$$$$$$$$$$",
+"$$$$$$..$$$...$@..$@.@.@$$$$$$$$",
+"$$$$$$$..@$@.$@.$.@$.@@.@$$$$$$$",
+"$$$$$$$$@.$@.$.@$@.$.@$.@$$$$$$$",
+"$$$$$$.$@.$@.$@.$.@$.@$.@$$$$$$$",
+"$$$$$$@..@$$.@$@..$$...@$$$$$$$$",
+"$$$$$$$$$$$$$$$$$$$$..$$$$$$$$$$",
+"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$"};
diff --git a/images/interrupt.xbm b/images/interrupt.xbm
new file mode 100644
index 00000000..e13d37aa
--- /dev/null
+++ b/images/interrupt.xbm
@@ -0,0 +1,17 @@
+/* Proof General button */
+#define _width 32
+#define _height 32
+#define _x_hot 0
+#define _y_hot 0
+static char _bits[] = {
+   0xaa, 0xaa, 0xaa, 0x2a, 0xfe, 0xff, 0xff, 0x7f, 0x56, 0xf5, 0xbf, 0x7a,
+   0x46, 0xfc, 0x7f, 0x61, 0x16, 0xfe, 0xff, 0x64, 0x46, 0xff, 0xff, 0x61,
+   0x96, 0xff, 0xff, 0x6b, 0xc6, 0xff, 0xff, 0x63, 0xd6, 0xff, 0xff, 0x67,
+   0xc6, 0x00, 0x00, 0x66, 0x56, 0x00, 0x00, 0x64, 0x46, 0x00, 0x00, 0x64,
+   0xd6, 0x00, 0x00, 0x66, 0xc6, 0xff, 0xff, 0x67, 0xd6, 0xff, 0xff, 0x63,
+   0x86, 0xff, 0xff, 0x63, 0x96, 0xff, 0xff, 0x69, 0x06, 0xff, 0xff, 0x60,
+   0x16, 0xfe, 0x7f, 0x64, 0x26, 0xfe, 0x3f, 0x60, 0xd6, 0xf8, 0x5f, 0x6f,
+   0xfe, 0xff, 0xff, 0x7f, 0xac, 0x55, 0xb5, 0x6a, 0x08, 0x42, 0x02, 0x04,
+   0xe2, 0x1b, 0xa9, 0xa8, 0xc4, 0x38, 0xd3, 0x01, 0x90, 0xd3, 0xb6, 0x54,
+   0x05, 0xd6, 0xb4, 0x01, 0x50, 0x9b, 0x96, 0xaa, 0xa5, 0x31, 0xf3, 0x00,
+   0x10, 0x42, 0x30, 0x2a, 0x42, 0x0a, 0x85, 0x40 };
diff --git a/images/interrupt.xcf b/images/interrupt.xcf
new file mode 100644
index 00000000..eeb7a61e
--- /dev/null
+++ b/images/interrupt.xcf
diff --git a/images/interrupt.xpm b/images/interrupt.xpm
new file mode 100644
index 00000000..da49b0c4
--- /dev/null
+++ b/images/interrupt.xpm
@@ -0,0 +1,87 @@
+/* XPM */
+static char * interrupt_xpm[] = {
+"32 32 52 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #B09696",
+"@	c #AA8282",
+"#	c #994747",
+"$	c #870D0D",
+"%	c #994848",
+"&	c #AF5E5E",
+"*	c #AF0909",
+"=	c #AF1C1C",
+"-	c #AF1919",
+";	c #8D2121",
+">	c #FFFFFF",
+",	c #FF0000",
+"'	c #FF3131",
+")	c #870F0F",
+"!	c #994949",
+"~	c #891313",
+"{	c #994A4A",
+"]	c #8A1818",
+"^	c #9A4C4C",
+"/	c #8B1C1C",
+"(	c #9B4E4E",
+"_	c #8C1E1E",
+":	c #994B4B",
+"<	c #8B1B1B",
+"[	c #891414",
+"}	c #FF7B7B",
+"|	c #881010",
+"1	c #870E0E",
+"2	c #AB8383",
+"3	c #AB8484",
+"4	c #D8B1B1",
+"5	c #D7B0B0",
+"6	c #D70606",
+"7	c #D70505",
+"8	c #D70404",
+"9	c #D80707",
+"0	c #D7AFAF",
+"a	c #933434",
+"b	c #A56E6E",
+"c	c #5A0909",
+"d	c #830909",
+"e	c #7D7D7D",
+"f	c #3F3F3F",
+"g	c #2A2A2A",
+"h	c #A7A7A7",
+"i	c #151515",
+"j	c #696969",
+"k	c #545454",
+"l	c #939393",
+"m	c #000000",
+".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".#$##%%%%%&&********=-#######;$.",
+".#$......>,,,,,,,,,,,,,>.....#$.",
+".#$.....>,,,,,,,,,,,,,,'>....#$.",
+".%$....>,,,,,,,,,,,,,,,,,>...#$.",
+".%)...>,,,,,,,,,,,,,,,,,,,>..#$.",
+".!~...,,,,,,,,,,,,,,,,,,,,>..#$.",
+".{]...,,,,,,,,,,,,,,,,,,,,,..#$.",
+".^/...,,>>>>>>>>>>>>>>>>>,,..#$.",
+".(/...,>>>>>>>>>>>>>>>>>>>,..#$.",
+".(_...,>>>>>>>>>>>>>>>>>>>,..#$.",
+".:_...,,>>>>>>>>>>>>>>>>>,,..#$.",
+".:<...,,,,,,,,,,,,,,,,,,,,,..#$.",
+".![...},,,,,,,,,,,,,,,,,,,>..#$.",
+".!|...},,,,,,,,,,,,,,,,,,,>..#$.",
+".%)...>,,,,,,,,,,,,,,,,,,>>..#$.",
+".%1...>>,,,,,,,,,,,,,,,,>>...#$.",
+".#$....>>,,,,,,,,,,,,,,>>....#$.",
+".#$.....>',,,,,,,,,,,,>>.....#$.",
+".#$@@@@234566778996660@@@@@@@a$.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".b#############cd##############.",
+"................................",
+"......effg.he...................",
+"......ff...gij.jfk.lfefj........",
+"......hiih.ef.jf.fj.fkhil.......",
+"........ji.ef.fe.ef.fe.fe.......",
+"......j.hm.ef.jf.fk.fjhil.......",
+"......effl..kj.jfk..fkfe........",
+"...................hgk..........",
+"................................"};