editable = true;
	public JEditTextArea(View view)	{		enableEvents(AWTEvent.FOCUS_EVENT_MASK | AWTEvent.KEY_EVENT_MASK);		this.view = view;		// Initialize some misc. stuff		painter = new TextAreaPainter(this);		gutter = new Gutter(view,this);		documentHandler = new DocumentHandler();		listenerList = new EventListenerList();		caretEvent = new MutableCaretEvent();		bracketLine = bracketPosition = -1;		blink = true;		lineSegment = new Segment();		// Initialize the GUI		setLayout(new ScrollLayout());		add(LEFT,gutter);		add(CENTER,painter);		add(RIGHT,vertical = new JScrollBar(JScrollBar.VERTICAL));		add(BOTTOM,horizontal = new JScrollBar(JScrollBar.HORIZONTAL));		horizontal.setValues(0,0,0,0);		// this ensures that the text area's look is slightly		// more consistent with the rest of the metal l&f.		// while it depends on not-so-well-documented portions		// of Swing, it only affects appearance, so future		// breakage shouldn't matter		if(UIManager.getLookAndFeel() instanceof MetalLookAndFeel)		{			setBorder(new TextAreaBorder());			vertical.putClientProperty("JScrollBar.isFreeStanding",				Boolean.FALSE);			horizontal.putClientProperty("JScrollBar.isFreeStanding",				Boolean.FALSE);			//horizontal.setBorder(null);		}		// Add some event listeners		vertical.addAdjustmentListener(new AdjustHandler());		horizontal.addAdjustmentListener(new AdjustHandler());		painter.addComponentListener(new ComponentHandler());		mouseHandler = new MouseHandler();		painter.addMouseListener(mouseHandler);		painter.addMouseMotionListener(mouseHandler);		addFocusListener(new FocusHandler());		editable = true;		// This doesn't seem very correct, but it fixes a problem		// when setting the initial caret position for a buffer		// (eg, from the recent file list)		focusedComponent = this;	}