← Back to branch summary

~ubuntu-branches/ubuntu/karmic/libjgraph-java/karmic

« back to all changes in this revision

Viewing changes to src/org/jgraph/graph/EdgeView.java

  • Committer: Bazaar Package Importer
  • Author(s): gregor herrmann
  • Date: 2008-03-17 20:28:08 UTC
  • mfrom: (1.1.4 upstream)
  • Revision ID: james.westby@ubuntu.com-20080317202808-jol9tcnnn9lu0gc3
Tags: 5.12.0.4.dfsg-1
* New upstream release.
* Remove debian/dirs and create /usr/share/java directly from
  debian/rules.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/org/jgraph/graph/EdgeView.java
1388
1388
                        EdgeView e = relevantEdge;
1389
1389
                        int handlesize = graph.getHandleSize();
1390
1390
                        EdgeRenderer er = (EdgeRenderer) edge.getRenderer();
 
1391
                        Point2D p = graph.toScreen(er.getLabelPosition(e));
 
1392
                        Dimension d = er.getLabelSize(e, graph.convertValueToString(e));
 
1393
                        if (p != null && d != null) {
 
1394
                                Point2D s = graph.toScreen(new Point2D.Double(d.width,
 
1395
                                                d.height));
 
1396
                                loc.setFrame(p.getX() - s.getX() / 2, p.getY() - s.getY()
 
1397
                                                / 2, s.getX(), s.getY());
 
1398
                        }
1391
1399
                        for (int i = 0; i < r.length; i++) {
1392
 
                                Point2D p = e.getPoint(i);
 
1400
                                p = e.getPoint(i);
1393
1401
                                p = graph.toScreen(new Point2D.Double(p.getX(), p.getY()));
1394
1402
                                r[i].setFrame(p.getX() - handlesize, p.getY() - handlesize,
1395
1403
                                                2 * handlesize, 2 * handlesize);
1396
 
                                p = graph.toScreen(er.getLabelPosition(e));
1397
 
                                Dimension d = er.getLabelSize(e, graph.convertValueToString(e));
1398
 
                                if (p != null && d != null) {
1399
 
                                        Point2D s = graph.toScreen(new Point2D.Double(d.width,
1400
 
                                                        d.height));
1401
 
                                        loc.setFrame(p.getX() - s.getX() / 2, p.getY() - s.getY()
1402
 
                                                        / 2, s.getX(), s.getY());
1403
 
                                }
 
1404
 
1404
1405
                        }
1405
1406
                        if (extraLabelLocations != null) {
1406
1407
                                for (int i = 0; i < extraLabelLocations.length; i++) {
1407
 
                                        Point2D p = er.getExtraLabelPosition(e, i);
 
1408
                                        p = er.getExtraLabelPosition(e, i);
1408
1409
                                        if (p != null) {
1409
1410
                                                p = graph.toScreen((Point2D) p.clone());
1410
 
                                                Dimension d = er.getExtraLabelSize(graph, e, i);
 
1411
                                                d = er.getExtraLabelSize(graph, e, i);
1411
1412
                                                if (d != null) {
1412
1413
                                                        Point2D s = graph.toScreen(new Point2D.Double(
1413
1414
                                                                        d.width, d.height));