1.1 --- a/src/Tools/jEdit/nbproject/private/private.properties	Sun Oct 19 18:32:22 2008 +0200
     1.2 +++ b/src/Tools/jEdit/nbproject/private/private.properties	Sun Oct 19 20:04:05 2008 +0200
     1.3 @@ -1,2 +1,7 @@
     1.4 +application.args=-noserver
     1.5 +do.depend=false
     1.6 +do.jar=true
     1.7 +javac.debug=true
     1.8 +javadoc.preview=true
     1.9  jaxws.endorsed.dir=/home/makarius/lib/netbeans/current/java2/modules/ext/jaxws21/api
    1.10  user.properties.file=/home/makarius/.netbeans/6.5beta/build.properties

     2.1 --- a/src/Tools/jEdit/nbproject/project.properties	Sun Oct 19 18:32:22 2008 +0200
     2.2 +++ b/src/Tools/jEdit/nbproject/project.properties	Sun Oct 19 20:04:05 2008 +0200
     2.3 @@ -1,3 +1,5 @@
     2.4 +application.title=Isabelle-jEdit
     2.5 +application.vendor=makarius
     2.6  build.classes.dir=${build.dir}/classes
     2.7  build.classes.excludes=**/*.java,**/*.form,**/*.scala
     2.8  # This directory is removed when the project is cleaned:
     2.9 @@ -46,17 +48,14 @@
    2.10  javadoc.use=true
    2.11  javadoc.version=false
    2.12  javadoc.windowtitle=
    2.13 -main.class=
    2.14 +main.class=org.gjt.sp.jedit.jEdit
    2.15  manifest.file=manifest.mf
    2.16  meta.inf.dir=${src.dir}/META-INF
    2.17  platform.active=default_platform
    2.18  run.classpath=\
    2.19      ${javac.classpath}:\
    2.20      ${build.classes.dir}
    2.21 -# Space-separated list of JVM arguments used when running the project
    2.22 -# (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
    2.23 -# or test-sys-prop.name=value to set system properties for unit tests):
    2.24 -run.jvmargs=
    2.25 +run.jvmargs=-Xms128m -Xmx512m
    2.26  run.test.classpath=\
    2.27      ${javac.test.classpath}:\
    2.28      ${build.test.classes.dir}