remove obsolete code
Signed-off-by: Florian Thienel <florian@thienel.org>
diff --git a/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/InlineFrame.java b/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/InlineFrame.java
index 3639f5b..74bf06b 100644
--- a/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/InlineFrame.java
+++ b/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/InlineFrame.java
@@ -11,7 +11,6 @@
package org.eclipse.vex.core.internal.boxes;
import org.eclipse.vex.core.internal.core.Color;
-import org.eclipse.vex.core.internal.core.ColorResource;
import org.eclipse.vex.core.internal.core.Graphics;
import org.eclipse.vex.core.internal.core.Rectangle;
@@ -254,13 +253,10 @@
}
graphics.setBackground(graphics.getColor(backgroundColor));
- graphics.fillRect(left, top, width, height);
+ graphics.fillRect(0, 0, width, height);
}
private void drawBorder(final Graphics graphics) {
- final ColorResource colorResource = graphics.getColor(Color.BLACK); // TODO store border color
- graphics.setColor(colorResource);
-
final int rectTop = margin.top.get(component.getHeight()) + border.top.width / 2;
final int rectLeft = margin.left.get(component.getWidth()) + border.left.width / 2;
final int rectBottom = height - margin.bottom.get(component.getHeight()) - border.bottom.width / 2;
diff --git a/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/StructuralFrame.java b/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/StructuralFrame.java
index b8c1ab6..7949363 100644
--- a/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/StructuralFrame.java
+++ b/org.eclipse.vex.core/src/org/eclipse/vex/core/internal/boxes/StructuralFrame.java
@@ -11,7 +11,6 @@
package org.eclipse.vex.core.internal.boxes;
import org.eclipse.vex.core.internal.core.Color;
-import org.eclipse.vex.core.internal.core.ColorResource;
import org.eclipse.vex.core.internal.core.Graphics;
import org.eclipse.vex.core.internal.core.Rectangle;
@@ -203,13 +202,10 @@
}
graphics.setBackground(graphics.getColor(backgroundColor));
- graphics.fillRect(left, top, width, height);
+ graphics.fillRect(0, 0, width, height);
}
private void drawBorder(final Graphics graphics) {
- final ColorResource colorResource = graphics.getColor(Color.BLACK); // TODO store border color
- graphics.setColor(colorResource);
-
final int rectTop = margin.top.get(component.getHeight()) + border.top.width / 2;
final int rectLeft = margin.left.get(width) + border.left.width / 2;
final int rectBottom = height - margin.bottom.get(component.getHeight()) - border.bottom.width / 2;