Mercurial > cgi-bin > hgweb.cgi > JpegWasher
annotate package-files/windows/jedit.launch4j.xml @ 34:d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
author | David Barts <n5jrn@me.com> |
---|---|
date | Wed, 29 Apr 2020 21:49:21 -0700 |
parents | |
children |
rev | line source |
---|---|
34
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
1 <?xml version="1.0" encoding="UTF-8"?> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
2 <!-- |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
3 ~ jEdit - Programmer's Text Editor |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
4 ~ :tabSize=8:indentSize=8:noTabs=false: |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
5 ~ :folding=explicit:collapseFolds=1: |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
6 ~ |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
7 ~ Copyright © 2014 jEdit contributors |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
8 ~ |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
9 ~ This program is free software; you can redistribute it and/or |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
10 ~ modify it under the terms of the GNU General Public License |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
11 ~ as published by the Free Software Foundation; either version 2 |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
12 ~ of the License, or any later version. |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
13 ~ This program is distributed in the hope that it will be useful, |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
14 ~ but WITHOUT ANY WARRANTY; without even the implied warranty of |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
15 ~ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
16 ~ GNU General Public License for more details. |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
17 ~ |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
18 ~ You should have received a copy of the GNU General Public License |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
19 ~ along with this program; if not, write to the Free Software |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
20 ~ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
21 --> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
22 |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
23 <launch4jConfig> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
24 <headerType>gui</headerType> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
25 <outfile>jedit.exe</outfile> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
26 <jar>@jar.filename@</jar> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
27 <dontWrapJar>true</dontWrapJar> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
28 <errTitle>jEdit</errTitle> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
29 <downloadUrl>http://www.java.com/download</downloadUrl> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
30 <supportUrl>http://www.jEdit.org</supportUrl> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
31 <cmdLine>-reuseview</cmdLine> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
32 <stayAlive>true</stayAlive> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
33 <icon>@base.dir@/icons/jedit.ico</icon> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
34 <jre> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
35 <minVersion>@target.java.version@.0</minVersion> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
36 <!-- Prefer JDK to make tools.jar available if possible. --> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
37 <jdkPreference>preferJdk</jdkPreference> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
38 </jre> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
39 <versionInfo> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
40 <fileVersion>@jedit.build.number@</fileVersion> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
41 <txtFileVersion>@jedit.version@</txtFileVersion> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
42 <fileDescription>jEdit - Programmer's Text Editor</fileDescription> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
43 <copyright>Copyright © 1998-@current.year@ Contributors</copyright> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
44 <productVersion>@jedit.build.number@</productVersion> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
45 <txtProductVersion>@jedit.version@</txtProductVersion> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
46 <productName>jEdit</productName> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
47 <companyName>Contributors</companyName> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
48 <internalName>jEdit</internalName> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
49 <originalFilename>jedit.exe</originalFilename> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
50 </versionInfo> |
d175593317a8
Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
51 </launch4jConfig> |