Source code: org/gendiapo/editor/document/PCDataView.java
1 /*
2 * @(#)PCDataView.java 1.000 01/05/30
3 */
4 package org.gendiapo.editor.document;
5
6 import java.util.Vector;
7 import java.util.Properties;
8 import java.awt.*;
9 import javax.swing.event.*;
10 import javax.swing.text.*;
11 import javax.swing.*;
12
13 public class PCDataView extends BoxView {
14
15 org.w3c.dom.Node xmlNode;
16
17 public PCDataView(Element elem) {
18 super(elem, View.Y_AXIS);
19 xmlNode = (org.w3c.dom.Node) (elem.getAttributes()).getAttribute(GenDiapoDocument.ATTRIBUT_XMLNODE);
20 setInsets((short)1,(short)1,(short)1,(short)1);
21 }
22
23 public void paint(Graphics g, Shape a) {
24 Rectangle r = a.getBounds();
25
26 super.paint(g,a);
27
28 Color oldColor = g.getColor();
29
30 g.setColor(Color.lightGray);
31 g.drawRect( r.x, r.y, r.width-1, r.height); // -1 pour ne pas recouvrir le trait de selection du noeud
32 g.setColor(oldColor);
33 }
34 }
35