From 5a135c2193fef3dfbb023d05c56deef77be35847 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 1999 11:18:37 +0000 Subject: Added interrupt button. --- images/Makefile | 2 +- images/gimp/scripts/proofgeneral.scm | 2 +- images/interrupt.8bit.xpm | 44 ++++++++++++++++++ images/interrupt.xbm | 17 +++++++ images/interrupt.xcf | Bin 0 -> 2063 bytes images/interrupt.xpm | 87 +++++++++++++++++++++++++++++++++++ 6 files changed, 150 insertions(+), 2 deletions(-) create mode 100644 images/interrupt.8bit.xpm create mode 100644 images/interrupt.xbm create mode 100644 images/interrupt.xcf create mode 100644 images/interrupt.xpm (limited to 'images') 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" "/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 Binary files /dev/null and b/images/interrupt.xcf differ 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..........", +"................................"}; -- cgit v1.2.3