UIObjectView.st
changeset 3451 1c9aad7b074f
parent 3445 bd1aa4795dcf
child 3473 3449a8a8aecc
--- a/UIObjectView.st	Fri Jul 14 11:46:02 2017 +0200
+++ b/UIObjectView.st	Sun Jul 16 14:04:30 2017 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1995 by eXept Software AG
 	      All Rights Reserved
@@ -1146,6 +1144,8 @@
     "resize a views handle - if doCheck is true, only check if the handle would change
      (used to avoid flicker, when an aligned move would actually not move anything)"
 
+    <ignore: RBReturnsBooleanAndOtherRule rationale:'only returns boolean if doCheck' author:'cg'>
+    
     |newX newY oldBottom oldTop oldLeft oldRight 
      oldOrigin oldCorner shiftTop shiftBottom shiftLeft shiftRight|
 
@@ -1219,6 +1219,8 @@
             top:shiftTop bottom:shiftBottom 
             left:shiftLeft right:shiftRight
     ].
+
+    "Modified: / 16-07-2017 / 14:00:05 / cg"
 !
 
 resize:aView left:aPoint