Claus Gittinger <cg@exept.de> [Thu, 19 Nov 1998 13:06:39 +0100] rev 1722
checkin from browser
Claus Gittinger <cg@exept.de> [Thu, 19 Nov 1998 13:04:01 +0100] rev 1721
removed some obsolete code.
Claus Gittinger <cg@exept.de> [Fri, 13 Nov 1998 15:20:00 +0100] rev 1720
added opaqueResize option.
Claus Gittinger <cg@exept.de> [Thu, 12 Nov 1998 15:55:33 +0100] rev 1719
added #new; gives a scrollableView with full scrollbars.
Claus Gittinger <cg@exept.de> [Wed, 11 Nov 1998 16:23:20 +0100] rev 1718
checkin from browser
Claus Gittinger <cg@exept.de> [Wed, 11 Nov 1998 16:08:17 +0100] rev 1717
dont forget widthOfWidestLine information when deleting single
characters (avoids slow delete-char when editing huge files)
Claus Gittinger <cg@exept.de> [Wed, 11 Nov 1998 16:06:18 +0100] rev 1716
added #widthOfLine;
invalidate must invalidate a deviceRectangle.
Claus Gittinger <cg@exept.de> [Mon, 09 Nov 1998 21:29:38 +0100] rev 1715
oops - repairDamage IS needed
Claus Gittinger <cg@exept.de> [Mon, 09 Nov 1998 21:21:53 +0100] rev 1714
checkin from browser
Claus Gittinger <cg@exept.de> [Mon, 09 Nov 1998 18:01:30 +0100] rev 1713
removed repairDamage completely in scroll.