if(UIManager.getLookAndFeel() instanceof MetalLookAndFeel) { setBorder(new TextAreaBorder()); vertical.putClientProperty("JScrollBar.isFreeStanding", Boolean.FALSE); horizontal.putClientProperty("JScrollBar.isFreeStanding", Boolean.FALSE); horizontal.setBorder(null); }
	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));		// Add some event listeners		vertical.addAdjustmentListener(new AdjustHandler());		horizontal.addAdjustmentListener(new AdjustHandler());		painter.addComponentListener(new ComponentHandler());		painter.addMouseListener(new MouseHandler());		painter.addMouseMotionListener(new DragHandler());		addFocusListener(new FocusHandler());		caretVisible = true;		editable = true;	}