Skip to content

settings.ini

Mark Watson edited this page Aug 5, 2016 · 1 revision

On startup settings.ini is read from the current working directory.


chrome.binary=<file path>

Points to the Chrome executable to launch. See Chrome Setup for details.


verbose=true

Turn on verbose logging. This will log any DevTools messages received from the extension.


sandbox=false

Allow scripts to access Java public classes and methods. See Scripting Java.


chrome.logs=true

Turns on Chrome debug logging. Logs are saved to $PWD/tmp/0/chrome/userdata/chrome_debug.log.


editor.sidebyside=false

Turn off resizing and positioning the Chrome window to the right hand side of the editor window. Note you can turn this on / off in the PizzaScript Editor menu under 'Window' -> 'Open Browser Side By Side'. This setting just controls the default.

Clone this wiki locally