--- a/ImageEditor.st Tue Jan 27 19:30:21 1998 +0100
+++ b/ImageEditor.st Tue Jan 27 19:32:28 1998 +0100
@@ -682,11 +682,11 @@
#'window:'
#(#WindowSpec
#'name:' 'Image Editor'
- #'layout:' #(#LayoutFrame 70 0 346 0 569 0 691 0)
+ #'layout:' #(#LayoutFrame 283 0 168 0 782 0 513 0)
#'label:' 'Image Editor'
#'min:' #(#Point 400 320)
#'max:' #(#Point 1152 900)
- #'bounds:' #(#Rectangle 70 346 570 692)
+ #'bounds:' #(#Rectangle 283 168 783 514)
#'menu:' #menu
#'usePreferredExtent:' false
)
@@ -728,6 +728,7 @@
#'model:' #magnifyDown
#'enableChannel:' #imageIsLoaded
#'isTriggerOnDown:' true
+ #'autoRepeat:' true
#'direction:' #left
)
#(#ArrowButtonSpec
@@ -737,6 +738,7 @@
#'model:' #magnifyUp
#'enableChannel:' #imageIsLoaded
#'isTriggerOnDown:' true
+ #'autoRepeat:' true
#'direction:' #right
)
#(#InputFieldSpec