Revision: 5061
http://sourceforge.net/p/jump-pilot/code/5061
Author: michaudm
Date: 2016-10-09 07:57:20 +0000 (Sun, 09 Oct 2016)
Log Message:
-----------
Fix #435 on ViewManagerPlugIn
Modified Paths:
--------------
plug-ins/ViewManagerPlugin/trunk/build.xml
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/StyledLayer.java
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/View.java
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewManagerExtension.java
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewSet.java
Modified: plug-ins/ViewManagerPlugin/trunk/build.xml
===================================================================
--- plug-ins/ViewManagerPlugin/trunk/build.xml 2016-10-09 05:57:28 UTC (rev
5060)
+++ plug-ins/ViewManagerPlugin/trunk/build.xml 2016-10-09 07:57:20 UTC (rev
5061)
@@ -1,4 +1,4 @@
-<project name="kml-driver" default="compile-all" basedir=".">
+<project name="viewset-plugin" default="compile-all" basedir=".">
<!--*************************************************************************
*****************************************************************************
@@ -19,7 +19,7 @@
<!-- plugins -->
<!-- drivers -->
<property name="view-manager" value="ViewManager" />
- <property name="view-manager-version" value="0.3.0" />
+ <property name="view-manager-version" value="0.3.2" />
<!-- ===================================================================
-->
@@ -41,7 +41,7 @@
<mkdir dir="${build}" />
<javac srcdir="${src}" destdir="${build}"
debug="on" deprecation="false" verbose="no"
includeantruntime="false"
- source="1.5" target="1.5">
+ source="1.6" target="1.6">
<classpath refid="classpath" />
</javac>
<copy todir="${build}">
Modified:
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/StyledLayer.java
===================================================================
---
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/StyledLayer.java
2016-10-09 05:57:28 UTC (rev 5060)
+++
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/StyledLayer.java
2016-10-09 07:57:20 UTC (rev 5061)
@@ -15,7 +15,7 @@
import java.util.regex.PatternSyntaxException;
/**
- * Created by UMichael on 13/06/2015.
+ * A set of styles we want to apply to a Layer.
*/
@XmlRootElement
public class StyledLayer {
Modified:
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/View.java
===================================================================
--- plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/View.java
2016-10-09 05:57:28 UTC (rev 5060)
+++ plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/View.java
2016-10-09 07:57:20 UTC (rev 5061)
@@ -19,7 +19,6 @@
/**
* A view is a set of styles applied on specified layers.
- *
*/
@XmlRootElement
public class View {
Modified:
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewManagerExtension.java
===================================================================
---
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewManagerExtension.java
2016-10-09 05:57:28 UTC (rev 5060)
+++
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewManagerExtension.java
2016-10-09 07:57:20 UTC (rev 5061)
@@ -4,7 +4,8 @@
import com.vividsolutions.jump.workbench.plugin.PlugInContext;
/**
- * Created by UMichael on 13/06/2015.
+ * Extension to manage views.
+ * A "View" is defined by the styles associated to the layers of a project.
*/
public class ViewManagerExtension extends Extension {
@@ -13,7 +14,7 @@
}
public String getVersion() {
- return "0.3.0 (2015-12-14)";
+ return "0.3.2 (2016-10-09)";
}
public void configure(PlugInContext context) throws Exception {
Modified:
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewSet.java
===================================================================
---
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewSet.java
2016-10-09 05:57:28 UTC (rev 5060)
+++
plug-ins/ViewManagerPlugin/trunk/src/org/openjump/ext/viewmanager/ViewSet.java
2016-10-09 07:57:20 UTC (rev 5061)
@@ -9,7 +9,8 @@
import java.util.Set;
/**
- * Created by UMichael on 14/06/2015.
+ * A set of Views with some methods to move views up and down
+ * and to replace a view definition.
*/
@XmlRootElement
public class ViewSet {
@@ -80,10 +81,8 @@
public void replaceView(View oldView, View newView) {
int pos = views.indexOf(oldView);
- if (pos>0) {
- views.set(pos, newView);
- fireReplaceView(oldView);
- }
+ views.set(pos, newView);
+ fireReplaceView(oldView);
}
public void fireAddView(View view) {
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Jump-pilot-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
