[antlr-interest] AntlrWorks Feature Request
Terence Parr
parrt at cs.usfca.edu
Wed Mar 2 10:05:40 PST 2011
isn't it easier to just edit that file?
Ter
On Mar 1, 2011, at 9:10 AM, Douglas Godfrey wrote:
> Add an "AntlrWorks Options" field to the General Tab of AntlrWorks's
> preferences dialog.
>
> When the user clicks apply, set the VMOptions value in AntlrWorks info.plist
> file.
>
> i.e. AntlrWorks Options string = -Xms1G
>
> Info.plist file VMOptions value set to the following:
>
> <?xml version="1.0" encoding="UTF-8"?>
> <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "
> http://www.apple.com/DTDs/PropertyList-1.0.dtd">
> <plist version="1.0">
> <dict>
> <key>CFBundleAllowMixedLocalizations</key>
> <string>true</string>
> <key>CFBundleDevelopmentRegion</key>
> <string>English</string>
> <key>CFBundleDocumentTypes</key>
> <array>
> <dict>
> <key>CFBundleTypeExtensions</key>
> <array>
> <string>g</string>
> </array>
> <key>CFBundleTypeIconFile</key>
> <string>doc.icns</string>
> <key>CFBundleTypeName</key>
> <string>ANTLRWorks</string>
> <key>CFBundleTypeRole</key>
> <string>Editor</string>
> </dict>
> </array>
> <key>CFBundleExecutable</key>
> <string>JavaApplicationStub</string>
> <key>CFBundleGetInfoString</key>
> <string>(c) 2005-2008 Jean Bovet</string>
> <key>CFBundleIconFile</key>
> <string>app.icns</string>
> <key>CFBundleIdentifier</key>
> <string>org.antlr.works</string>
> <key>CFBundleInfoDictionaryVersion</key>
> <string>6.0</string>
> <key>CFBundleName</key>
> <string>ANTLRWorks</string>
> <key>CFBundlePackageType</key>
> <string>APPL</string>
> <key>CFBundleShortVersionString</key>
> <string>1.4.2</string>
> <key>CFBundleSignature</key>
> <string>ATLW</string>
> <key>CFBundleVersion</key>
> <string>1.4.2</string>
> <key>Java</key>
> <dict>
> <key>ClassPath</key>
> <string>$JAVAROOT/antlrworks.jar</string>
> <key>JVMVersion</key>
> <string>1.5+</string>
> <key>MainClass</key>
> <string>org.antlr.works.IDE</string>
> <key>VMOptions</key>
> <string>-Xmx1G</string>
> </dict>
> </dict>
> </plist>
>
> List: http://www.antlr.org/mailman/listinfo/antlr-interest
> Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address
More information about the antlr-interest
mailing list