# HG changeset patch
# User wenzelm
# Date 1224439445 -7200
# Node ID 12bf97b7fc9d294badac390f7902206a8ad7730c
# Parent  3d55eda3d87cdab548e0361ef0b0bccf97a74246
basic setup for running jEdit;

diff -r 3d55eda3d87c -r 12bf97b7fc9d src/Tools/jEdit/nbproject/private/private.properties
--- a/src/Tools/jEdit/nbproject/private/private.properties	Sun Oct 19 18:32:22 2008 +0200
+++ b/src/Tools/jEdit/nbproject/private/private.properties	Sun Oct 19 20:04:05 2008 +0200
@@ -1,2 +1,7 @@
+application.args=-noserver
+do.depend=false
+do.jar=true
+javac.debug=true
+javadoc.preview=true
 jaxws.endorsed.dir=/home/makarius/lib/netbeans/current/java2/modules/ext/jaxws21/api
 user.properties.file=/home/makarius/.netbeans/6.5beta/build.properties
diff -r 3d55eda3d87c -r 12bf97b7fc9d src/Tools/jEdit/nbproject/project.properties
--- a/src/Tools/jEdit/nbproject/project.properties	Sun Oct 19 18:32:22 2008 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties	Sun Oct 19 20:04:05 2008 +0200
@@ -1,3 +1,5 @@
+application.title=Isabelle-jEdit
+application.vendor=makarius
 build.classes.dir=${build.dir}/classes
 build.classes.excludes=**/*.java,**/*.form,**/*.scala
 # This directory is removed when the project is cleaned:
@@ -46,17 +48,14 @@
 javadoc.use=true
 javadoc.version=false
 javadoc.windowtitle=
-main.class=
+main.class=org.gjt.sp.jedit.jEdit
 manifest.file=manifest.mf
 meta.inf.dir=${src.dir}/META-INF
 platform.active=default_platform
 run.classpath=\
     ${javac.classpath}:\
     ${build.classes.dir}
-# Space-separated list of JVM arguments used when running the project
-# (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
-# or test-sys-prop.name=value to set system properties for unit tests):
-run.jvmargs=
+run.jvmargs=-Xms128m -Xmx512m
 run.test.classpath=\
     ${javac.test.classpath}:\
     ${build.test.classes.dir}