--- a/ImageEditor.st Mon Feb 20 00:44:56 2017 +0100
+++ b/ImageEditor.st Mon Feb 20 16:43:16 2017 +0100
@@ -18,8 +18,8 @@
selectedColorIndex postOpenAction imageSeqNr drawingColormap
lastShiftUsedWrap lastGrabbedScreenArea
allowedToChangeImageDimensionAndDepth savedImage savedFile'
- classVariableNames:'LastDirectory LastSizeString MaskClipboard LastColormapMode
- DefaultRelativeSizes LastURL'
+ classVariableNames:'DefaultRelativeSizes LastColormapMode LastDirectory
+ LastSizeString LastURL MaskClipboard'
poolDictionaries:''
category:'Interface-UIPainter'
!
@@ -5451,7 +5451,11 @@
!
modified
+ "true if the image was modified"
+
^ imageEditView modified
+
+ "Modified (comment): / 20-02-2017 / 16:23:32 / cg"
!
modified:aBoolean