/bundles/plugins-trunk/RubyPlugin/src/org/jedit/ruby/structure/TopLineBorder.java
Java | 49 lines | 23 code | 4 blank | 22 comment | 1 complexity | 1d3798fd8423aed3081f813b28d09fbd MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- /*
- * TopLineBorder.java -
- *
- * Copyright 2005 Robert McKinnon
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- */
- package org.jedit.ruby.structure;
- import javax.swing.border.LineBorder;
- import java.awt.Color;
- import java.awt.Component;
- import java.awt.Graphics;
- /**
- * @author robmckinnon at users.sourceforge.net
- */
- final class TopLineBorder extends LineBorder {
- public TopLineBorder() {
- super(Color.GRAY);
- }
- public final void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
- Color oldColor = g.getColor();
- int i;
- g.setColor(lineColor);
- for (i = 0; i < thickness; i++) {
- int newWidth = width - i - i - 1;
- int x1 = x + i;
- int y1 = y + i;
- int x2 = x1 + newWidth;
- g.drawLine(x1, y1, x2, y1);
- }
- g.setColor(oldColor);
- }
- }