equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * Copyright (c) 1998, 2006, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 1998, 2014, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. Oracle designates this |
7 * published by the Free Software Foundation. Oracle designates this |
293 static final int padding = 3; |
293 static final int padding = 3; |
294 static final Color UnknownTagBorderColor = Color.black; |
294 static final Color UnknownTagBorderColor = Color.black; |
295 static final Border StartBorder = new StartTagBorder(); |
295 static final Border StartBorder = new StartTagBorder(); |
296 static final Border EndBorder = new EndTagBorder(); |
296 static final Border EndBorder = new EndTagBorder(); |
297 |
297 |
298 |
298 @SuppressWarnings("serial") // Same-version serialization only |
299 static class StartTagBorder implements Border, Serializable { |
299 static class StartTagBorder implements Border, Serializable { |
300 public void paintBorder(Component c, Graphics g, int x, int y, |
300 public void paintBorder(Component c, Graphics g, int x, int y, |
301 int width, int height) { |
301 int width, int height) { |
302 g.setColor(UnknownTagBorderColor); |
302 g.setColor(UnknownTagBorderColor); |
303 x += padding; |
303 x += padding; |
324 public boolean isBorderOpaque() { |
324 public boolean isBorderOpaque() { |
325 return false; |
325 return false; |
326 } |
326 } |
327 } // End of class HiddenTagView.StartTagBorder |
327 } // End of class HiddenTagView.StartTagBorder |
328 |
328 |
329 |
329 @SuppressWarnings("serial") // Same-version serialization only |
330 static class EndTagBorder implements Border, Serializable { |
330 static class EndTagBorder implements Border, Serializable { |
331 public void paintBorder(Component c, Graphics g, int x, int y, |
331 public void paintBorder(Component c, Graphics g, int x, int y, |
332 int width, int height) { |
332 int width, int height) { |
333 g.setColor(UnknownTagBorderColor); |
333 g.setColor(UnknownTagBorderColor); |
334 x += padding; |
334 x += padding; |