if (highlights != null) paintCustomHighlights(gfx);
Buffer.LineInfo info = buffer.getLineInfo(line); if(info.getFold().getFirstLine() == info) { gfx.setColor(foldColor); if(info.getFold().getVisibility() == Buffer.Fold.ALL_LINES_VISIBLE) gfx.drawRect(2,y + (lineHeight - 6) / 2,6,6); else gfx.fillRect(2,y + (lineHeight - 6) / 2,6,6); }
	public void paintComponent(Graphics gfx)	{		if (expanded)		{			// fill the background			Rectangle r = gfx.getClipBounds();			gfx.setColor(getBackground());			gfx.fillRect(r.x, r.y, r.width, r.height);			// if buffer is loading, don't paint anything			if (!textArea.getBuffer().isLoaded())				return;			// paint custom highlights, if there are any			if (highlights != null) paintCustomHighlights(gfx);			// paint line numbers			paintLineNumbers(gfx);		}	}