Changeset 3756 in osm for applications/editors


Ignore:
Timestamp:
2007-07-26T17:28:26+02:00 (17 years ago)
Author:
christofd
Message:

new description, new version

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/colorscheme/build.xml

    r3409 r3756  
    99 
    1010  <!-- plugin meta data (enter new version number if anything changed!) -->
    11   <property name="plugin.version" value="0.5.1"/>
    12   <property name="plugin.description" value="Manage multiple colorschemes (V${plugin.version})."/>
     11  <property name="plugin.version" value="0.5.2"/>
     12  <property name="plugin.description" value="Allows the user to create different color schemes and to switch between them. Just change the colors and create a new scheme. Used to switch to a white background with matching colors for better visibility in bright sunlight. See dialog in JOSM's preferences and 'Map Settings' (strange but true :-) (V${plugin.version})."/>
    1313  <property name="plugin.class" value="at.dallermassl.josm.plugin.colorscheme.ColorSchemePlugin"/>
    1414
     
    7070  </target>
    7171
    72   <!-- write site description for the given plugin -->
     72  <!-- write site description for the given plugin so josm will accept it -->
    7373  <target name="site">
     74    <echo message="creating site description in ${plugin.site.file}"/>
     75    <echo file="${plugin.site.file}">&lt;!-- plugins available on this site -->
     76  &lt;plugins>
     77    &lt;plugin id="${ant.project.name}" version="${plugin.version}">
     78      &lt;name>${ant.project.name}&lt;/name>
     79      &lt;description>${plugin.description}&lt;/description>
     80      &lt;resource>${plugin.site.url}${plugin.jar}&lt;/resource>
     81    &lt;/plugin>
     82  &lt;/plugins>
     83    </echo>
     84  </target>
     85
     86        <!-- write site description for the given plugin (not implemented in JOSM as full version yet!) -->
     87  <target name="site-full-donotuse">
    7488    <echo message="creating site description in ${plugin.site.file}"/>
    7589    <echo file="${plugin.site.file}">&lt;?xml version="1.0"?>
     
    87101      &lt;description>${plugin.description}&lt;/description>
    88102      &lt;resources>
    89         &lt;resource src="${plugin.site.url}/${plugin.jar}"
    90                   target="$${josm.user.dir}/plugins/${plugin.jar}"/>
     103        &lt;resource src="${plugin.site.url}${plugin.jar}"
     104                  target="${josm.home.dir}/plugins/${plugin.jar}"/>
    91105      &lt;/resources>
    92106    &lt;/plugin>
Note: See TracChangeset for help on using the changeset viewer.