/** * Paints the text area. * * @param g The graphics context with which to paint. */ @Override protected void paintComponent(Graphics g) { //long startTime = System.currentTimeMillis(); backgroundPainter.paint(g, getVisibleRect()); // Paint the main part of the text area. TextUI ui = getUI(); if (ui != null) { // Not allowed to modify g, so make a copy. Graphics scratchGraphics = g.create(); try { ui.update(scratchGraphics, this); } finally { scratchGraphics.dispose(); } } //long endTime = System.currentTimeMillis(); //System.err.println(endTime-startTime); }
/** * Paints the text area. * * @param g The graphics context with which to paint. */ protected void paintComponent(Graphics g) { //long startTime = System.currentTimeMillis(); backgroundPainter.paint(g, getVisibleRect()); // Paint the main part of the text area. TextUI ui = getUI(); if (ui != null) { // Not allowed to modify g, so make a copy. Graphics scratchGraphics = g.create(); try { ui.update(scratchGraphics, this); } finally { scratchGraphics.dispose(); } } //long endTime = System.currentTimeMillis(); //System.err.println(endTime-startTime); }
/** * Paints the text area. * * @param g The graphics context with which to paint. */ protected void paintComponent(Graphics g) { //long startTime = System.currentTimeMillis(); backgroundPainter.paint(g, getVisibleRect()); // Paint the main part of the text area. TextUI ui = getUI(); if (ui != null) { // Not allowed to modify g, so make a copy. Graphics scratchGraphics = g.create(); try { ui.update(scratchGraphics, this); } finally { scratchGraphics.dispose(); } } //long endTime = System.currentTimeMillis(); //System.err.println(endTime-startTime); }
/** * Paints the text area. * * @param g The graphics context with which to paint. */ @Override protected void paintComponent(Graphics g) { //long startTime = System.currentTimeMillis(); backgroundPainter.paint(g, getVisibleRect()); // Paint the main part of the text area. TextUI ui = getUI(); if (ui != null) { // Not allowed to modify g, so make a copy. Graphics scratchGraphics = g.create(); try { ui.update(scratchGraphics, this); } finally { scratchGraphics.dispose(); } } //long endTime = System.currentTimeMillis(); //System.err.println(endTime-startTime); }