797 x := margin. |
797 x := margin. |
798 |
798 |
799 srcY := topMargin + (visLine * fontHeight). |
799 srcY := topMargin + (visLine * fontHeight). |
800 "/ h := ((nLinesShown - visLine) * fontHeight). |
800 "/ h := ((nLinesShown - visLine) * fontHeight). |
801 h := (height - margin - srcY). |
801 h := (height - margin - srcY). |
802 self catchExpose. |
802 h > 0 ifTrue:[ |
803 self |
803 self catchExpose. |
804 copyFrom:self |
804 self |
805 x:x y:srcY |
805 copyFrom:self |
806 toX:x y:(srcY - fontHeight) |
806 x:x y:srcY |
807 width:w height:h |
807 toX:x y:(srcY - fontHeight) |
808 async:true. |
808 width:w height:h |
809 |
809 async:true. |
|
810 ]. |
810 self redrawVisibleLine:nFullLinesShown. |
811 self redrawVisibleLine:nFullLinesShown. |
811 " |
812 " |
812 redraw last partial line - if any |
813 redraw last partial line - if any |
813 " |
814 " |
814 (nFullLinesShown ~~ nLinesShown) ifTrue:[ |
815 (nFullLinesShown ~~ nLinesShown) ifTrue:[ |
815 self redrawVisibleLine:nLinesShown |
816 self redrawVisibleLine:nLinesShown |
816 ]. |
817 ]. |
817 self waitForExpose |
818 h > 0 ifTrue:[ |
818 ] |
819 self waitForExpose |
819 |
820 ]. |
820 "Modified: 29.1.1997 / 13:05:50 / cg" |
821 ] |
|
822 |
|
823 "Modified: / 27.2.1998 / 12:36:59 / cg" |
821 ! |
824 ! |
822 |
825 |
823 removeIndexWithoutRedraw:lineNr |
826 removeIndexWithoutRedraw:lineNr |
824 "delete a line, given its lineNr - no redraw; |
827 "delete a line, given its lineNr - no redraw; |
825 return true, if something was really deleted (so sender knows, |
828 return true, if something was really deleted (so sender knows, |