From 55ceeb7d2d1ad0451a2d057f5531790ea0df30f9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 11 Dec 2007 11:36:36 +0000 Subject: Deleted file --- images/gimp/scripts/proofgeneral.scm | 98 ------------------------------------ images/pg-abort.8bit.xpm | 44 ---------------- images/pg-command.8bit.xpm | 44 ---------------- images/pg-context.8bit.xpm | 44 ---------------- images/pg-find.8bit.xpm | 44 ---------------- images/pg-goal.8bit.xpm | 44 ---------------- images/pg-goto.8bit.xpm | 44 ---------------- images/pg-help.8bit.xpm | 44 ---------------- images/pg-info.8bit.xpm | 44 ---------------- images/pg-interrupt.8bit.xpm | 44 ---------------- images/pg-next.8bit.xpm | 44 ---------------- images/pg-qed.8bit.xpm | 44 ---------------- images/pg-restart.8bit.xpm | 44 ---------------- images/pg-retract.8bit.xpm | 44 ---------------- images/pg-state.8bit.xpm | 44 ---------------- images/pg-undo.8bit.xpm | 44 ---------------- images/pg-use.8bit.xpm | 44 ---------------- 17 files changed, 802 deletions(-) delete mode 100644 images/gimp/scripts/proofgeneral.scm delete mode 100644 images/pg-abort.8bit.xpm delete mode 100644 images/pg-command.8bit.xpm delete mode 100644 images/pg-context.8bit.xpm delete mode 100644 images/pg-find.8bit.xpm delete mode 100644 images/pg-goal.8bit.xpm delete mode 100644 images/pg-goto.8bit.xpm delete mode 100644 images/pg-help.8bit.xpm delete mode 100644 images/pg-info.8bit.xpm delete mode 100644 images/pg-interrupt.8bit.xpm delete mode 100644 images/pg-next.8bit.xpm delete mode 100644 images/pg-qed.8bit.xpm delete mode 100644 images/pg-restart.8bit.xpm delete mode 100644 images/pg-retract.8bit.xpm delete mode 100644 images/pg-state.8bit.xpm delete mode 100644 images/pg-undo.8bit.xpm delete mode 100644 images/pg-use.8bit.xpm (limited to 'images') diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm deleted file mode 100644 index 68c3921b..00000000 --- a/images/gimp/scripts/proofgeneral.scm +++ /dev/null @@ -1,98 +0,0 @@ -;; -;; Gimp script fu to make buttons from a source .xcf file. -;; -;; David Aspinall -;; -;; $Id$ -;; - - -;; TODO: make greyed out, pressed, unpressed versions. -;; e.g. : Add bevel for "up" position: -;; (script-fu-add-bevel 0 image -;; (car (gimp-image-active-drawable image)) "10" 0 0) - -(define (script-fu-proofgeneral-make-button buttonname) - (let* ((filename (string-append buttonname ".xcf")) - (image (car (gimp-file-load 1 filename filename))) - (xpmname (string-append buttonname ".xpm")) - (poor-xpm (string-append buttonname ".8bit.xpm"))) - (gimp-image-flatten image) - ;; Full xpm - (gimp-file-save 1 image (car (gimp-image-active-drawable image)) - xpmname xpmname) - ;; Impoverised xpm - (gimp-convert-indexed image 1 0 8 1 1 "blah") - (gimp-file-save 1 image (car (gimp-image-active-drawable image)) - poor-xpm poor-xpm) - ;; Finish - (gimp-image-delete image) - )) - -(script-fu-register "script-fu-proofgeneral-make-button" - "/Xtns/Script-Fu/Proof General/Make Button" - "Save buttons in various formats" - "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" - "1998/10/04" - "" - SF-VALUE "Button/file name" "\"goal\"") - -(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" "interrupt" "goto" "abort"))) - -(script-fu-register "script-fu-proofgeneral-make-all-buttons" - "/Xtns/Script-Fu/Proof General/Make All Buttons" - "Save Proof General buttons in the various formats" - "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" - "1998/10/04" - "") - -(define (script-fu-proofgeneral-save-pic imgname) - (let* ((filename (string-append imgname ".xcf")) - (image (car (gimp-file-load 1 filename filename))) - (jpgname (string-append imgname ".jpg")) - (gifname (string-append imgname ".gif")) - (poorgifname (string-append imgname ".8bit.gif"))) - ;; Flatten and save as jpg - ;;(gimp-image-flatten image) - ;; Flattening forces a white background. Let's use merge. - (if (> (car (gimp-image-get-layers image)) 1) - (gimp-image-merge-visible-layers image 0)) - (file-jpeg-save 1 image (car (gimp-image-active-drawable image)) - jpgname jpgname - 0.75 0 1) - ;; gif with full palette - (gimp-convert-indexed image TRUE 255) - (file-gif-save 1 image (car (gimp-image-active-drawable image)) - gifname gifname - FALSE FALSE 0 0) - ;; gif with impoverished palette for display in XEmacs - (gimp-convert-rgb image) - (gimp-convert-indexed image 1 15) - (file-gif-save 1 image (car (gimp-image-active-drawable image)) - poorgifname poorgifname - FALSE FALSE 0 0) - ;; Finish - (gimp-image-delete image) - )) - -(script-fu-register "script-fu-proofgeneral-save-jpg" - "/Xtns/Script-Fu/Proof General/Save Jpeg" - "Save image as jpeg" - "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" - "1998/10/04" - "" - SF-VALUE "Basename" "\"test\"") - - -(define (script-fu-proofgeneral-save-all-pix) - (mapcar script-fu-proofgeneral-save-pic - '("ProofGeneral" "pg-text"))) - -(script-fu-register "script-fu-proofgeneral-save-all-jpegs" - "/Xtns/Script-Fu/Proof General/Save all Jpegs" - "Save Proof General images as jpegs" - "da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk" - "1998/10/04" - "") \ No newline at end of file diff --git a/images/pg-abort.8bit.xpm b/images/pg-abort.8bit.xpm deleted file mode 100644 index 01a9afc8..00000000 --- a/images/pg-abort.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * abort_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020202", -"+ c #860E0E", -"@ c #8D1F1F", -"# c #9A4646", -"$ c #A05D5D", -"% c #AA8282", -"& c #AE9292", -"* c #BEBDBD", -"********************************", -"*****&%%%%%%%%%%%%%%%%%%%%%*****", -"*****#+++++++++++++++++++++*****", -"*****#+##################@+*****", -"*****#+******************#+*****", -"*****#+**++**********&+**#+*****", -"*****#+**++*********$++**#+*****", -"*****#+**++********$++***#+*****", -"*****#+**++*******$++****#+*****", -"*****#+**++******$++*****#+*****", -"*****#+**++*****%++******#+*****", -"*****#+**++++++++++++++**#+*****", -"*****#+**++++++++++++++**#+*****", -"*****#+**++**%++*********#+*****", -"*****#+**++*%++**********#+*****", -"*****#+**++$++******&****#+*****", -"*****#+**++++************#+*****", -"*****#+**+++********&****#+*****", -"*****#+*$++***&**********#+*****", -"*&***#+*@+***************#+*****", -"*****#+****************&*#+*****", -"*****$+%%%%%%%%%%%%%%%%%%@+*****", -"*****$@++++++++++++++++++++*****", -"*****%#####################*****", -"********************************", -"*******..***..************.*****", -"******.*.***.*************.*****", -"******.*.***....*...*.......****", -"*****....***..*...*.**..*..*****", -"*****.**.**..*.*.**.*..**.******", -"****..**..*...**...**.***..*****", -"********************************"}; diff --git a/images/pg-command.8bit.xpm b/images/pg-command.8bit.xpm deleted file mode 100644 index a5dbc8aa..00000000 --- a/images/pg-command.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * command_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #211D1A", -"+ c #735D55", -"@ c #A4857C", -"# c #C89870", -"$ c #860E0C", -"% c #BDBDBB", -"& c #3E3936", -"* c #86433D", -"%#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%", -"%*$$$$$$$$$$$$$$$$$$$$$$$$$$$$$%", -"%*$**************************$$%", -"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", -"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", -"%*$%%%%%%%#@@@+#@#@#@@#@@####**%", -"%**@%%%##@#####################+", -"%@@#%+@###########@*.*$.&**&**&+", -"%@@@%##############@@@*@@@@%#*$%", -"%@@%%*######*****@####+%%%%%%*$%", -"%@+%%&*###@**@##*#@##*%%%%%%%*$%", -"%@+%%...$...$#@######*%%%%%%%*$%", -"%@+%%@&....*##$$.$$..&%%%%%%%*$%", -"%@+@%+##&...*##@++*.#%%%%%%%%*$%", -"%@@&%@###*.@+.**+*&.%%%%%%%%%*$%", -"%@@&%*@###.**@&...&@%%%%%%%%%*$%", -"%++.&@%#@++++.&*&@%%%%%%%%%%%*$%", -"%...#%%%%%%%%%@+@%%%%%%%%%%%%*$%", -"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", -"%*$%%%%%%%%%%%%%%%%%%%%%%%%%%*$%", -"%*$@@@@@@@@@@@@@@@@@@@@@@@@@@*$%", -"%*$$$$$$$$$$$$$$$$$$$$$$$$$$$$$%", -"%+*****************************%", -"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@", -"%#.&*%%%%%%%%%%%%%%%%%%%%%%%%%#&", -"%&@%@#++@&@+#+@&@+#+%@*&#+@+%@&&", -"%&%%%&%&@.+.&&%.+.&&%&@&#&+.@.@+", -"+&%%@&%+@.+.%&%.+.%&++++@&%&+@++", -"%.%%@.%&+&@+%&+&@&@+&&&+@+@&&+&@", -"%+&+%+&@%+@+@+@+@@@+++++@@@++&@+", -"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%", -"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%"}; diff --git a/images/pg-context.8bit.xpm b/images/pg-context.8bit.xpm deleted file mode 100644 index dc67bc64..00000000 --- a/images/pg-context.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * context_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #09090A", -"+ c #856F70", -"@ c #958987", -"# c #2E2E2F", -"$ c #FEFEFC", -"% c #860E0C", -"& c #BCBCBA", -"* c #7B403E", -"&@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@&", -"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", -"&*%**************************%%&", -"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&", -"&*%&&&&&&@@@&&&&&&&@@@&&&&&&&*%&", -"&*%&&&&++@@@+&&&&@+@@@@&&&&&&*%&", -"&*%&&&+@+*....@&+@+#...*@&&&&*%&", -"&+%&&@++.#+@@+.#@*.*+@@*.@&&&*%&", -"&*%&&@@.+&$$$&&#..&$$$&&&.@&&*%&", -"&+%&&@*#&$$$#.&@.#$$$&##&**&&*%&", -"&*%&&@##$$$&#.+$.@$$$@..&@.&&*%&", -"&+%&&@##$$$$&+$$.@$$$$@&$&.&&*%&", -"&*%&&+##$$$$$$$$.@$$$$$$$@.&&*%&", -"&+%&&@##$$$$$$$$.@$$$$$$$@.&&*%&", -"&*%&&&*#$$$$$$$&.+$$$$$$$+.&&+%&", -"&+%&&&&.+$$$$$$#..&$$$$$&.@&&*%&", -"&*%&&&&+##&$&&##@##@$$&@#*&&&*%&", -"&*%&&&&&@#....*@&&*....#*&&&&*%&", -"&*%&&&&&&&@@@@&&&&&&+@@@&&&&&*%&", -"&*%&&&&&&&&&&&&&&&&&&&&&&&&&&*%&", -"&*%@@@@@@@@@@@@@@@@@@@@@@@@@@*%&", -"&*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", -"&@*****************************&", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", -"&&+.*#@&&&&&&&&&&&@&&&&&&&&&&&@&", -"&*#&&&@&+*&@*&+*&##+&@*+&*@+++.#", -"@.@&&&&.@+.&.*+.&#*&@*@.&+##++.&", -"@.&&&&+#&@.@.++#&#@&.#*@&@.+&+#&", -"@.+&&@##&.@@#&#+&.+&.+&+@#++&#*&", -"&@##+&&##@&++&*#&+#&+#+@++&#@@#@", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/pg-find.8bit.xpm b/images/pg-find.8bit.xpm deleted file mode 100644 index 5e4ce58e..00000000 --- a/images/pg-find.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * find_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #1B1C1D", -"+ c #8A4948", -"@ c #8C7E81", -"# c #BABEBD", -"$ c #EBFEFC", -"% c #373132", -"& c #D4F4FA", -"* c #761917", -"#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#", -"#+*****************************#", -"#+*+++++++++++++++*+%#@#@++++**#", -"#+*###############@##&#&&@+##+*#", -"#+*################&#&&#&$###+*#", -"#+*############%#&&&&&&&&$&##+*#", -"#+*###########@%#&#&&&&&$$$#++*#", -"#+*###########%@&&&&&$$$$$&$#+*#", -"#+*###########.&&&&&&$$$$$$&@+*#", -"#+*###########@&&&&$$$$$$$$@++*#", -"#+*###########%&&&&$$$$$$$$%%+*#", -"#+*########@@#@&&$$$$$$$$&&@.+*#", -"#+*######+..@#&@@&&$$$$$&##%@+*#", -"#+*###@+%.%.@&&#@#&$$&#@.#&.@+*#", -"#+*###*%...%.%###@@@&%@@@@#@#+*#", -"#+*#@+..%%%%%@###@.%@@%@%%@##+*#", -"#+*%%%%%%%%@##########@######+*#", -"#+*%%%@#@@###################+*#", -"#+*%@#&######################+*#", -"#+*##########################+*#", -"#+*@@@@@@@@@@@@@@@@@@@@@@@@@@**#", -"#+*****************************#", -"#++++++++++++++++++++++++++++++#", -"################################", -"#############@@########@@@######", -"########+.+%++@#########*@######", -"########@.##@+@@%@+@##+%.#######", -"########+.%+#.#@.@%*#.@@*#######", -"########%+##@.#+.@%@@%#.+#######", -"########.@##+%#%@#.@%%+.@#######", -"#######+%%##@%#+@#%@@%#%@#######", -"################################"}; diff --git a/images/pg-goal.8bit.xpm b/images/pg-goal.8bit.xpm deleted file mode 100644 index 1d64db49..00000000 --- a/images/pg-goal.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * goal_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #10170F", -"+ c #656545", -"@ c #8A9175", -"# c #79CE62", -"$ c #BCC5B7", -"% c #E1ECDD", -"& c #383C35", -"* c #8B2826", -"$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$", -"$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@$", -"$******************************$", -"$******************************$", -"$$%%%%%$$%#%%#%#%#%##%##%######$", -"$#%##@@++@&@###########+###@###$", -"$%%@@++@@&+.+&+&+@&&+&&&&++#&##$", -"$%@@@$$+#+@@++++++&&&&+@#@&@&##$", -"$%@$@$%+%@#@@###+##+##@##@&+&+#$", -"$%+$@#%@##&++#@#@##++#&#+#+++&#$", -"$%@$$@#@.@+#&#@++&@###+@&#+#+&#$", -"$%@$@&@%#$@%#&%@#@##@#@#@#+#&&@$", -"$%+$%@%$&++$@+++@@#%#@@###+++++#", -"$%*$%++$@$&@#%%#%#+@+##+@@+&&.+$", -"$%+$%&%%$+$%%%%%%#%%#%#%##++++#$", -"$%+%$+%@@%%%%%%%%%%%%%#%%#+@+#%$", -"$%+%%$&$%%%%%%%%%%%%#%%%%%+++#%$", -"$%+%@+$%%%%%%%%%%%%%%%%%#%+##%#$", -"$$+$$%%%%%%%%%%%%%%%%%%%%%@$%%%$", -"$%+%%%%%%%%%%%%%%%%%%%%%%%$$#%%$", -"$%$%%%%%%%%%%%%%%%%%%%%%%%%%%%%$", -"$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%$", -"$***************************.**$", -"$+*****************************$", -"$$$$$$$$$$$$$$$$$$$$$$$$+$$$$$$$", -"$$$$$$$$+.&&@$$$$$$$$$$@.@$$$$$$", -"$$$$$$$*&$$@$$+&+$$+&&@$.$$$$$$$", -"$$$$$$@.@$$$$&+@.@&+$.@+&$$$$@$$", -"$@$$@$@.$$..+.$$.+.$&.$+&$$@$$$$", -"$$$$$$@.+$&++.@&&+.+&&$*+$$$$$$$", -"$$$$$$$@*&&$$&&+$$&@+&$&+$$$@$$$", -"$@$$@$$$$$$$$$$$$$$$$$$$$$$$$$$$"}; diff --git a/images/pg-goto.8bit.xpm b/images/pg-goto.8bit.xpm deleted file mode 100644 index fa2cc0ba..00000000 --- a/images/pg-goto.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * goto_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020202", -"+ c #5C2525", -"@ c #9A4646", -"# c #7D5F5F", -"$ c #877D7D", -"% c #AA8282", -"& c #BDBCBC", -"* c #860E0E", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", -"&&&&&%%%%%%%%%%%%%%%%%%%%%%&&&&&", -"&&&&&@*********************&&&&&", -"&&&&&@*@@@@@@@@@@@@@@@@@@**&&&&&", -"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", -"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", -"&&&&&@*&@&&&&&&&&&&&&&&*&@*&&&&&", -"&&&&&@*&*%&&&&&&&&&&&&#*&@*&&&&&", -"&&&&&@*&**#&&&&&&&&&&%**&@*&&&&&", -"&&&&&@*&***#&&&&&&&&@***&@*&&&&&", -"&&&&&@*&****@&&%%&&%****&@*&&&&&", -"&&&&&@*&*****@&@@%%*****&@*&&&&&", -"&&&&&@*&******%**&@*****&@*&&&&&", -"&&&&&@*&*****&%@$&%*****&@*&&&&&", -"&&&&&@*&****%&&&&&&%****&@*&&&&&", -"&&&&&@*&***%&&&&&&&&&***&@*&&&&&", -"&&&&&@*&**%&&&&&&&&&&&**&@*&&&&&", -"&&&&&@*&*%&&&&&&&&&&&&@*&@*&&&&&", -"&&&&&@*&%&&&&&&&&&&&&&&%&@*&&&&&", -"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", -"&&&&&@*&&&&&&&&&&&&&&&&&&@*&&&&&", -"&&&&&@*%%%%%%%%%%%%%%%%%$@*&&&&&", -"&&&&&@*********************&&&&&", -"&&&&&%@@@@@@@@@@@@@@@@@@@@@&&&&&", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&", -"&&&&&&&&#.++$&&&&&&$&&&&&&&&&&&&", -"&&&&&&&++&&&&&#+#&..$&$+#&&&&&&&", -"&&&&&&&.$&&&&+#&.$+#&$+&.+&&&&&&", -"&&&&&&$.&&..$.&&.$+$&.$&##&&&&&&", -"&&&&&&&.$&+#$.&+#&.$&.#$.&&&&&&&", -"&&&&&&&$#+#&&#+$&&#+&$##$&&&&&&&", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/pg-help.8bit.xpm b/images/pg-help.8bit.xpm deleted file mode 100644 index b50057e9..00000000 --- a/images/pg-help.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * help_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #22210A", -"+ c #C0BEBB", -"@ c #B4998B", -"# c #8D2321", -"$ c #717264", -"% c #A27A73", -"& c #4F5537", -"* c #434133", -"+@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+", -"+##############################+", -"+............*$*....*..........+", -"+............&@&&..*&..........+", -"+...........*$@$&&*.*&.........+", -"@.......**...&&&*&&*.&.........+", -"+.......**.*...**$$&***........+", -"@.......*.*....*.*&$*.*........+", -"+........*...****.**&*.........+", -"@..........&*%$@@@$.*..........+", -"+.........&..&%*.*@@...........+", -"+.........*...*...@+$..........+", -"+.........$..&%*..@++..........@", -"@.........%.#%+&*#@+%..........+", -"+.........%.*#@@%@@@%..........+", -"+.........%&&*#%#@@@...........+", -"+.........%##*..#*#%...........+", -"@.........%*$#&$%&#$...........+", -"+.........@%#*%%@++@...........+", -"@.........%%&#%++++%...........+", -"+..........#$%@++%&&...........+", -"+##############################+", -"+%#############################+", -"++++++++++++++++++++++++++++++++", -"++++++++++++++++++@@++++++++++++", -"+++++++$.$+..@++++$.++++++++++++", -"+++++++@.++*$+@*$+$*@*@$*+++++++", -"+++++++&.**.$$*$.+*$+..&.$++++++", -"+++++++**+@.+..*@+.@+.$@.@++++++", -"+++++++.$+$.+.$+&@.+$.+*&+++++++", -"++++++&*$+**$$*&@$*$$..@++++++++", -"++++++++++++++++++++*$++++++++++"}; diff --git a/images/pg-info.8bit.xpm b/images/pg-info.8bit.xpm deleted file mode 100644 index b93c3a5c..00000000 --- a/images/pg-info.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * info_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #0504AC", -"+ c #763E50", -"@ c #7B586E", -"# c #7B7B9E", -"$ c #860F0D", -"% c #AA8284", -"& c #BCBCBD", -"* c #FEFEFC", -"&%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&", -"&@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$&", -"&+$+@++@++@++++$+++++@++@++@+$$&", -"&@$&&&&&&&&#+......+%&&&&&&&&@$&", -"&+$&&&&&&&@....@##...@&&&&&&&+$&", -"&+$&&&&&&......%*&.....&&&&&&@$&", -"&+$&&&&&@......&**.....@&&&&&+$&", -"&@$&&&&#................%&&&&+$&", -"&@$&&&&+.....&&&&&......+&&&&+$&", -"&@$&&&%......****&.......%&&&@$&", -"&@$&&&#........&**.......#&&&+$&", -"&@$&&&#........%*&.......%&&&+$&", -"&@$&&&#........&**.......#&&&@$&", -"&@$&&&#........%*&.......%&&&+$&", -"&@$&&&%........&**.......%&&&+$&", -"&@$&&&&+.......%*&......+&&&&+$&", -"&+$&&&&#.......&**......#&&&&@$&", -"&@$&&&&&@....@@&**@+...@&&&&&+$&", -"&+$&&&&&&....******&...&&&&&&+$&", -"&@$&&&&&&&#..######@.@&&&&&&&@$&", -"&+$%%%%#%#%@+......+@#%%%%%%%$$&", -"&+$$$$$$$$$$$$$$$$$$$$$$$$$$$$$&", -"&%++++++++++@+@+@++++++++@+@+@+&", -"&&&&&&&&&&&&&&&&&&%%&&&&&&&&&&&&", -"&&&&&&&&%.+&&&&&&%@#&&&&&&&&&&&&", -"&&&&&&&&%.&+@%+&#..%&@+%&&&&&&&&", -"&&&&&&&&@.&++#.#&.&&.&@.&&&&&&&&", -"&&&&&&&&++&.+%.&%.&++&#$&&&&&&&&", -"&&&&&&&&.#&.&#.&#+&+.&.#&&&&&&&&", -"&&&&&&&#++&+&#+#+@&&++%&&&&&&&&&", -"&&&&&&&&&&&&&&&&.#&&&&&&&&&&&&&&", -"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"}; diff --git a/images/pg-interrupt.8bit.xpm b/images/pg-interrupt.8bit.xpm deleted file mode 100644 index 9438fa6f..00000000 --- a/images/pg-interrupt.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* 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/pg-next.8bit.xpm b/images/pg-next.8bit.xpm deleted file mode 100644 index 96ba38c8..00000000 --- a/images/pg-next.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * next_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020204", -"+ c #860E0C", -"@ c #3B2C2A", -"# c #9A4644", -"$ c #6E6768", -"% c #7E7E7C", -"& c #AA8284", -"* c #BDBDBB", -"********************************", -"*****&&&&&&&&&&&&&&&&&&&&&&*****", -"*****#+++++++++++++++++++++*****", -"*****#+##################++*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+**+***************#+*****", -"*****#+**+++*************#+*****", -"*****#+**++++++**********#+*****", -"*****#+**++++++++********#+*****", -"*****#+**+++++++++++*****#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+**++++++++++******#+*****", -"*****#+**+++++++#********#+*****", -"*****#+**+++++&**********#+*****", -"*****#+**++$*************#+*****", -"*****#+**&***************#+*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+&&&&&&&&&&&&&&%&&&++*****", -"*****#+++++++++++++++++++++*****", -"*****&#####################*****", -"********************************", -"*******$.%*$.%*********%&*******", -"*******&.@*%$*&@$*$$$$$.@*******", -"*******$%.$@%%@%.*$@@%%@********", -"*******@*$.@*.@@**&.$*$@********", -"*******@**.@*.$*$*@$$*@@********", -"******$@%*%$*%@$%$$*@*%@%*******", -"********************************"}; diff --git a/images/pg-qed.8bit.xpm b/images/pg-qed.8bit.xpm deleted file mode 100644 index eede5c5b..00000000 --- a/images/pg-qed.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * qed_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #161210", -"+ c #C2C0BD", -"@ c #A38B85", -"# c #860E0C", -"$ c #615047", -"% c #954F4D", -"& c #372D2A", -"* c #563938", -"++++++++++++++++++++++++++++++++", -"+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+", -"+%#############################+", -"+%#%%%%%%%%%%%%%%%%%%%%%%%%%%##+", -"+.........#.&..................+", -"+....#.#.&**$#&#&.&....&&*&....+", -"+..**&&&&#$%%%*&&&&&&.&&&+@&...+", -"+.&%@%*&&%@++%****&*&&&&$+@*...+", -"+.&%+@**#*@++@%$$@$*&&&&$$$&...+", -"+.&*%%***%@++%*$@+@$&&$$$&&&&..+", -"+.#&&*%**%%%%%$*$@$$&$$&&&$&...+", -"+..&&&&%$%%%%***$$&$$$&&&$$*&..+", -"+&&&&&&***$$%****$$$$&$&$$+@...+", -"+.&&*******$%$&$&$$$$&&&$$+$&..+", -"+&****$*$%%%%$*&$$@@$$$&$$$$&..+", -"+**%%%$**%++%$&&$$@++@$&&&&&...+", -"+&$++@$**$%%$$**$$++++&&&......+", -"+*%++@$******$&$$$+@@$$&&&.....+", -"+&*@@%$*&&&&*$$&&&+@*&&.&......+", -"+&&**@%&&&&&&$$$$+&&&&.........+", -"+.&&&&$%&..&&@$$++$..&.........+", -"+.&.&&&%.....**$*&.............+", -"+%#############################+", -"+%%%%%%%%%%%%%%%%%%%%%%%*%%%%%%+", -"++++++++++++++++++++++++++@+++++", -"++++$&*.$+++@.&&.+++$.*&&@++@+++", -"+++@.++$.++++.@+++++@.++*$++++++", -"+++.$++@.+++@.&.++++$&++&&++++++", -"+++.@++.$+++@.+@++++&$++.@++++++", -"@++.$+$.+$$+$&+@@$@+.@+&&+*@@+++", -"+++@&&$++$@@&$&&+&+$$&&@++&+++++", -"++++++$$&+++++++++++++++++++++++"}; diff --git a/images/pg-restart.8bit.xpm b/images/pg-restart.8bit.xpm deleted file mode 100644 index 82f3d255..00000000 --- a/images/pg-restart.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * restart_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020204", -"+ c #860E0C", -"@ c #353230", -"# c #9A4644", -"$ c #7D5E5C", -"% c #797574", -"& c #AA8284", -"* c #BDBDBB", -"********************************", -"*****&&&&&&&&&&&&&&&&&&&&&&*****", -"*****#+++++++++++++++++++++*****", -"*****#+##################++*****", -"*****#+******************#+*****", -"*****#+*******$+++$******#+*****", -"*****#+*****$+++++++*****#+*****", -"*****#+****&+++++++++****#+*****", -"*****#+****+++$****$+****#+*****", -"*****#+***+++&******+****#+*****", -"*****#+*+++++++****+++***#+*****", -"*****#+*&++++++***+++++**#+*****", -"*****#+**+++++***++++++&*#+*****", -"*****#+***+++****+++++++*#+*****", -"*****#+****+******$+++***#+*****", -"*****#+****+#****#+++****#+*****", -"*****#+****+++++++++$****#+*****", -"*****#+*****+++++++$*****#+*****", -"*****#+******$+++&*******#+*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+&&&&&&&&&&&&&&&&&&++*****", -"*****#+++++++++++++++++++++*****", -"*****$#####################*****", -"********************************", -"**$.@.%**********%&***********%*", -"**%.*$$*&$@*&$@%%.@**@@@*@$%%@.%", -"**$@%.&*@*.&@@&*&.**.*%@*@@%&@$*", -"**@$.%*$.@%**.@*%@*%@*.$*.$**@%*", -"**.&%.*@@*&&%*.%@@*@@$@%*.***.%*", -"*%@%*@%*@@%*@@%*%$&%@*@%%@***$@*", -"********************************"}; diff --git a/images/pg-retract.8bit.xpm b/images/pg-retract.8bit.xpm deleted file mode 100644 index 6cfac9da..00000000 --- a/images/pg-retract.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * retract_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020204", -"+ c #860E0C", -"@ c #3A3231", -"# c #9A4644", -"$ c #686263", -"% c #807D7B", -"& c #AA8284", -"* c #BDBCBA", -"********************************", -"*****&&&&&&&&&&&&&&&&&&&&&&*****", -"*****#+++++++++++++++++++++*****", -"*****#+##################++*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+**&+++++++++++++**#+*****", -"*****#+**&+++++++++++++**#+*****", -"*****#+********+++*******#+*****", -"*****#+*******+++++******#+*****", -"*****#+*******+++++******#+*****", -"*****#+******++++++#*****#+*****", -"*****#+******+++++++*****#+*****", -"*****#+*****++++++++&****#+*****", -"*****#+*****++++++++#****#+*****", -"*****#+****#+++++++++****#+*****", -"*****#+****++++++++++$***#+*****", -"*****#+****+++++++++++***#+*****", -"*****#+**&++++++++++++&**#+*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+&&&&&&&&&&&&&&&&&&#+*****", -"*****#+++++++++++++++++++++*****", -"*****&#####################*****", -"********************************", -"*$.@.%******%****************%**", -"*%.*@$*&$$&$.@&@&$*&$@@**$@$$.@*", -"*$@$@&*@*.&%.**.$%*.*%@*@@*$%.**", -"*@$.%*$.@$*%@*%.%*$@*.$%.***%@**", -"*.%$.*@@*%%$@*%@**@@$@%%.***@@**", -"$@%*@$*@$%*%@%%$**%@*@$*$@$*%$%*", -"********************************"}; diff --git a/images/pg-state.8bit.xpm b/images/pg-state.8bit.xpm deleted file mode 100644 index 40fbc6f7..00000000 --- a/images/pg-state.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * state_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #050507", -"+ c #7F4644", -"@ c #8D7D7D", -"# c #BABAB9", -"$ c #FEFEFC", -"% c #1A1A1A", -"& c #EFEFF0", -"* c #781514", -"#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#", -"#+*****************************#", -"#+*++++++++++++++++++++++++++**#", -"#+*##########################+*#", -"#+*######@@@######@@@@#######+*#", -"#+*####+*...%+###+%%..+@#####+*#", -"#+*###+%@&&&@++@%%&&&#+%@####+*#", -"#+*##@.&$&$$$#..+&&$$$$@%####+*#", -"#+*##%@&$$$$$$@.#$$$$$$&%+###+*#", -"#+*##.@$$$$$$$@.&$$$$$$&++@##+*#", -"#++##.#&$$$$$$#.$$$$$$$$%%@##+*#", -"#+*##.#$#@&$$$@.$&@#$$$$++@##+*#", -"#+*##.@#%.@$$$@.&@.%&$$&%%@##+*#", -"&+*##++#%%#$$&+.#@.%&$$#%@@##+*#", -"#+*##@%##&&$&#..%&#&$$#@%@@##+*#", -"#+*###@.+@@@+.+@%.@@@@%%@@@##+*#", -"#+*####@+%.%%@@@#@%%.%+@@@###+*#", -"#+*######@@@@@@####@@@@@@####+*#", -"#+*#######@@@#######@@@@#####+*#", -"#+*##########################+*#", -"#+*@#@@@@#@@@@@@@@@@#@@@@@@@@+*#", -"#+*****************************#", -"#@+++++++++++++++++++++++++++++#", -"#############&##################", -"#######*+%&@@#######@###########", -"######+%##@%%##@++@@.+##++######", -"######@%+##%@#+@#.#@%##%#.@#####", -"########%+#.##.#+%#++#+.+@######", -"#####@@#%@@.#@.@%+#%+#%%#@######", -"######+%+##%+#%@@+#@%##%+@######", -"################################", -"################################"}; diff --git a/images/pg-undo.8bit.xpm b/images/pg-undo.8bit.xpm deleted file mode 100644 index 4444863c..00000000 --- a/images/pg-undo.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * undo_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020204", -"+ c #860E0C", -"@ c #3E3230", -"# c #9A4644", -"$ c #736C6C", -"% c #AA8284", -"& c #AE8A8C", -"* c #BDBDBB", -"********************************", -"*****&%%%%%%%%%%%%%%%%%%%%%*****", -"*****#+++++++++++++++++++++*****", -"*****#+##################++*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+**************+***#+*****", -"*****#+************+++***#+*****", -"*****#+*********++++++***#+*****", -"*****#+*******++++++++***#+*****", -"*****#+****+++++++++++***#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+**+++++++++++++***#+*****", -"*****#+*****++++++++++***#+*****", -"*****#+*******#+++++++***#+*****", -"*****#+*********&+++++***#+*****", -"*****#+************#++***#+*****", -"*****#+**************%***#+*****", -"*****#+******************#+*****", -"*****#+******************#+*****", -"*****#+%%%%%%%%%%%%%%%%%%++*****", -"*****#+++++++++++++++++++++*****", -"*****$#####################*****", -"********************&$**********", -"******@.$*.@********$.**********", -"******$.**@*@$&@**%@@@**@@&*****", -"******@@**.*@@$.$&@*@$*.*$.*****", -"******.&**@*@@*.*@$&.&@@*$.*****", -"******.$*$$*.*$@*.$@.*@@*@$*****", -"******&@@$**@*$@&$@*@**@@&******", -"********************************"}; diff --git a/images/pg-use.8bit.xpm b/images/pg-use.8bit.xpm deleted file mode 100644 index 82f9e484..00000000 --- a/images/pg-use.8bit.xpm +++ /dev/null @@ -1,44 +0,0 @@ -/* XPM */ -static char * use_8bit_xpm[] = { -"32 32 9 1", -" c None", -". c #020204", -"+ c #860E0C", -"@ c #463433", -"# c #9A4644", -"$ c #776C6C", -"% c #AA8284", -"& c #AE8A8C", -"* c #BDBDBB", -"********************************", -"*****#####################%*****", -"*****+++++++++++++++++++++#*****", -"*****+#%%%%%%%%%%%%%%%%%%+#*****", -"*****+#******************+#*****", -"*****+#******************+#*****", -"*****+#**&++++++++++++%**+#*****", -"*****+#***&+++++++++++***+#*****", -"*****+#****++++++++++$***+#*****", -"*****+#****#+++++++++****+#*****", -"*****+#*****+++++++++****+#*****", -"*****+#*****++++++++&****+#*****", -"*****+#******+++++++*****+#*****", -"*****+#******++++++#*****+#*****", -"*****+#*******+++++******+#*****", -"*****+#*******+++++******+#*****", -"*****+#********+++*******+#*****", -"*****+#**%+++++++++++++**+#*****", -"*****+#**%+++++++++++++**+#*****", -"*****+#******************+#*****", -"*****+#******************+#*****", -"*****++##################+#*****", -"*****+++++++++++++++++++++#*****", -"*****%%%%%%%%%%%%%%%%%%%%%&*****", -"********************************", -"*********@.$*.@*****************", -"*********$.**@&&@@&*$@%*********", -"*********@@**.*.$&*@$@@*********", -"*********.%**@*$.$&.@$**********", -"*********.$*$$&*$.&.&*$*********", -"*********&@@$*&@@&*$@$&*********", -"********************************"}; -- cgit v1.2.3