aboutsummaryrefslogtreecommitdiffhomepage
path: root/images
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-13 16:45:50 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-13 16:45:50 +0000
commitd6d32a08e2a8693c3415f66c3a111d00b80e51f4 (patch)
tree37a983b922d06df90b5b1c24d4bcec745727f0fb /images
parent18fe11189a5f76e434c8701121c57fceee9fe9ef (diff)
Updated for gimp 1.1.9
Diffstat (limited to 'images')
-rw-r--r--images/gimp/.cvsignore3
-rw-r--r--images/gimp/scripts/proofgeneral.scm6
2 files changed, 6 insertions, 3 deletions
diff --git a/images/gimp/.cvsignore b/images/gimp/.cvsignore
index 84e3d0f2..10b93a39 100644
--- a/images/gimp/.cvsignore
+++ b/images/gimp/.cvsignore
@@ -1,2 +1,5 @@
menurc
pluginrc
+unitrc
+parasiterc
+
diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm
index ac55e0b1..be96ab6b 100644
--- a/images/gimp/scripts/proofgeneral.scm
+++ b/images/gimp/scripts/proofgeneral.scm
@@ -23,13 +23,13 @@
(gimp-file-save 1 image (car (gimp-image-active-drawable image))
xpmname xpmname)
;; Impoverised xpm
- (gimp-convert-indexed image 1 8)
+ (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)
;; Mono image
(gimp-convert-rgb image)
(gimp-image-flatten image)
- (gimp-convert-indexed-palette image 1 3 0 "")
+ (gimp-convert-indexed image 1 1 3 2 1 "blah")
(file-xbm-save 1 image (car (gimp-image-active-drawable image))
xbmname xbmname
"Proof General button"
@@ -44,7 +44,7 @@
"da@dcs.ed.ac.uk" "da@dcs.ed.ac.uk"
"1998/10/04"
""
- SF-VALUE "Button/file name" "\"test\"")
+ SF-VALUE "Button/file name" "\"goal\"")
(define (script-fu-proofgeneral-make-all-buttons)
(mapcar script-fu-proofgeneral-make-button