Revision: 6319
http://sourceforge.net/p/jump-pilot/code/6319
Author: ma15569
Date: 2020-06-10 11:31:19 +0000 (Wed, 10 Jun 2020)
Log Message:
-----------
Enlarged to 50x50 wkt panel size
Modified Paths:
--------------
plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java
Modified: plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java
===================================================================
--- plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java
2020-06-10 11:14:23 UTC (rev 6318)
+++ plug-ins/CadPlan_VertexSymbols/trunk/src/ui/WKTVertexPanel.java
2020-06-10 11:31:19 UTC (rev 6319)
@@ -39,11 +39,9 @@
public WKTVertexPanel(String imageName, Color lineColor, Color
fillColor) {
this.setBackground(new Color(0, 0, 0, 0));
this.setBorder(BorderFactory.createEmptyBorder());
- /* this.setMaximumSize(new Dimension(80, 50));
- this.setMinimumSize(new Dimension(80, 50));
- this.setPreferredSize(new Dimension(80, 50));*/
- this.setPreferredSize(new Dimension(40, 40));
- this.setMaximumSize(new Dimension(40, 40));
+
+ this.setPreferredSize(new Dimension(50, 50));
+ this.setMaximumSize(new Dimension(50, 50));
this.dummyLayerViewPanel = new LayerViewPanel(new
LayerManager(), new LayerViewPanelContext() {
@Override
public void setStatusMessage(String message) {
@@ -62,7 +60,7 @@
@Override
public Envelope getEnvelopeInModelCoordinates() {
- return new Envelope(0.0D, 80.0D, 0.0D, 50.0D);
+ return new Envelope(0.0D, 50.0D, 0.0D, 50.0D);
}
@Override
@@ -96,10 +94,8 @@
private void paint(VertexStyle symbol, Graphics2D g) {
Stroke originalStroke = g.getStroke();
- // this.setPreferredSize(new Dimension(80, 50));
- // this.setMaximumSize(new Dimension(80, 50));
- this.setPreferredSize(new Dimension(40, 40));
- this.setMaximumSize(new Dimension(40, 40));
+ // this.setPreferredSize(new Dimension(40, 40));
+ // this.setMaximumSize(new Dimension(40, 40));
try {
((WKTVertexStyle)symbol).paint(this.pointFeature(), g,
this.viewport);
} catch (Exception e) {
@@ -122,8 +118,7 @@
private Feature pointFeature() {
try {
- //Feature feat = FeatureUtil.toFeature((new
WKTReader()).read("POINT (40 25)"), new FeatureSchema() {
- Feature feat = FeatureUtil.toFeature((new
WKTReader()).read("POINT (20 20)"), new FeatureSchema() {
+ Feature feat = FeatureUtil.toFeature((new
WKTReader()).read("POINT (25 25)"), new FeatureSchema() {
private static final long serialVersionUID =
-8627306219650589202L;
{
@@ -131,7 +126,7 @@
}
});
return feat;
- } catch (ParseException var2) {
+ } catch (ParseException ex) {
Assert.shouldNeverReachHere();
return null;
}
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
