Mercurial > cgi-bin > hgweb.cgi > JpegWasher

annotate package-files/windows/jedit.launch4j.xml @ 35:bcbc92ffe0d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Makes a .deb file at long last, but Duke still shows up as an icon in the dock.
author David Barts <n5jrn@me.com>
date Thu, 30 Apr 2020 21:22:30 -0700
parents d175593317a8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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&apos;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>