Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refined application.args;
authorwenzelm
Tue, 21 Oct 2008 17:32:23 +0200
changeset 34331 2cb3369f0634
parent 34330 0b846b3ccc32
child 34332 545a73fee0e3
refined application.args;
src/Tools/jEdit/nbproject/project.properties file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/nbproject/project.properties	Tue Oct 21 16:21:13 2008 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties	Tue Oct 21 17:32:23 2008 +0200
@@ -1,6 +1,6 @@
 application.title=Isabelle-jEdit
 application.vendor=makarius
-application.args=-noserver -nobackground -nosettings
+application.args=-noserver -nobackground
 build.classes.dir=${build.dir}/classes
 build.classes.excludes=**/*.java,**/*.form,**/*.scala
 # This directory is removed when the project is cleaned:
isabelle