1.1 --- a/visidor/src/visidor/Viewer.java Sun May 24 14:14:25 2009 +0200
1.2 +++ b/visidor/src/visidor/Viewer.java Sun May 24 14:17:11 2009 +0200
1.3 @@ -67,7 +67,7 @@
1.4 }
1.5
1.6 ImageWidget horizontalWall = new ImageWidget(scene);
1.7 - horizontalWall.setPreferredBounds(new Rectangle(550, 300, 100, 10));
1.8 + horizontalWall.setPreferredBounds(new Rectangle(550, 300, 90, 10));
1.9 horizontalWall.setBackground(Color.BLACK);
1.10 horizontalWall.getActions().addAction(ActionFactory.createMoveAction(null, new Viewer(true)));
1.11 horizontalWall.setForeground(Color.BLACK);
1.12 @@ -75,7 +75,7 @@
1.13 layerBoard.addChild(horizontalWall);
1.14
1.15 ImageWidget verticalWall = new ImageWidget(scene);
1.16 - verticalWall.setPreferredBounds(new Rectangle(600, 150, 10, 100));
1.17 + verticalWall.setPreferredBounds(new Rectangle(600, 150, 10, 90));
1.18 verticalWall.setBackground(Color.BLACK);
1.19 verticalWall.getActions().addAction(ActionFactory.createMoveAction(null, new Viewer(false)));
1.20 verticalWall.setBorder(BorderFactory.createLineBorder());
1.21 @@ -112,10 +112,10 @@
1.22
1.23 public void setNewLocation(Widget widget, Point location) {
1.24 widget.setPreferredBounds(new Rectangle(
1.25 - round(location.x, true),
1.26 - round(location.y, false),
1.27 - horizontal ? 100 : 10,
1.28 - horizontal ? 10 : 100)
1.29 + round(location.x, true) + (horizontal ? 5 : 0),
1.30 + round(location.y, false) + (horizontal ? 0 : 5),
1.31 + horizontal ? 90 : 10,
1.32 + horizontal ? 10 : 90)
1.33 );
1.34 }
1.35