equal
deleted
inserted
replaced
1810 ]. |
1810 ]. |
1811 |
1811 |
1812 damages do:[:el| self clearRectangle:el. ]. |
1812 damages do:[:el| self clearRectangle:el. ]. |
1813 |
1813 |
1814 (oldClipped := clipChildren) ifFalse:[ |
1814 (oldClipped := clipChildren) ifFalse:[ |
1815 self clippedByChildren:(clipChildren := true) |
1815 gc clippedByChildren:(clipChildren := true) |
1816 ]. |
1816 ]. |
1817 self subViews reverseDo:[:v| self recursiveRepair:damages startIn:v]. |
1817 self subViews reverseDo:[:v| self recursiveRepair:damages startIn:v]. |
1818 |
1818 |
1819 oldClipped ~~ clipChildren ifTrue:[ |
1819 oldClipped ~~ clipChildren ifTrue:[ |
1820 self clippedByChildren:(clipChildren := oldClipped). |
1820 gc clippedByChildren:(clipChildren := oldClipped). |
1821 ]. |
1821 ]. |
1822 |
1822 |
1823 self flush. |
1823 self flush. |
1824 |
1824 |
1825 savedSelection := selection. |
1825 savedSelection := selection. |