NOSUBAUTOLOAD
author Claus Gittinger <cg@exept.de>
Mon, 04 Aug 2014 15:44:39 +0200
changeset 3155 4e93da30717e
parent 3134 e09d9f88442c
permissions -rw-r--r--
class: UIPainter changed: #doSave flush remembered last extent (in AppModel), to honor the possibly changed default extent