g.setColor(Color.RED);
g.setColor(isEnabled() ? Color.RED : Color.DARK_GRAY);
                public void paint(Graphics g)                {                    g.setColor(Color.GRAY);                    g.fillRect(0, 0, getWidth(), getHeight());                    g.setColor(Color.RED);                    int pos = (int) (getSelectedChar().getWidth() * drawingArea                        .getZoom());                    g.drawLine(pos, 0, pos, getHeight());                }