01: /*
02: * TextAreaBorder.java
03: * :tabSize=8:indentSize=8:noTabs=false:
04: * :folding=explicit:collapseFolds=1:
05: *
06: * Copyright (C) 2004 Slava Pestov
07: *
08: * This program is free software; you can redistribute it and/or
09: * modify it under the terms of the GNU General Public License
10: * as published by the Free Software Foundation; either version 2
11: * of the License, or any later version.
12: *
13: * This program is distributed in the hope that it will be useful,
14: * but WITHOUT ANY WARRANTY; without even the implied warranty of
15: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16: * GNU General Public License for more details.
17: *
18: * You should have received a copy of the GNU General Public License
19: * along with this program; if not, write to the Free Software
20: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21: */
22:
23: package org.gjt.sp.jedit.textarea;
24:
25: import java.awt.*;
26: import javax.swing.border.AbstractBorder;
27: import javax.swing.plaf.metal.MetalLookAndFeel;
28:
29: public class TextAreaBorder extends AbstractBorder {
30: //{{{ paintBorder() method
31: public void paintBorder(Component c, Graphics g, int x, int y,
32: int width, int height) {
33: g.translate(x, y);
34:
35: g.setColor(MetalLookAndFeel.getControlDarkShadow());
36: g.drawRect(0, 0, width - 2, height - 2);
37:
38: g.setColor(MetalLookAndFeel.getControlHighlight());
39: g.drawLine(width - 1, 1, width - 1, height - 1);
40: g.drawLine(1, height - 1, width - 1, height - 1);
41:
42: g.setColor(MetalLookAndFeel.getControl());
43: g.drawLine(width - 2, 2, width - 2, 2);
44: g.drawLine(1, height - 2, 1, height - 2);
45:
46: g.translate(-x, -y);
47: } //}}}
48:
49: //{{{ getBorderInsets() method
50: public Insets getBorderInsets(Component c) {
51: return new Insets(1, 1, 2, 2);
52: } //}}}
53: }
|