painter.repaint();
if(view.getTextArea() == JEditTextArea.this) view.getStatus().updateFoldStatus();
		public void foldStructureChanged()		{			// recalculate first line			setFirstLine(buffer.physicalToVirtual(physFirstLine));			// update scroll bars because the number of			// virtual lines might have changed			updateScrollBars();			// repaint gutter and painter			gutter.repaint();			painter.repaint();		}