diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
| @@ -56,7 +56,9 @@ const loaderConfig = { | |||
| 56 | pscBundle: null, // purs bundle | 56 | pscBundle: null, // purs bundle |
| 57 | pscBundleArgs: {}, | 57 | pscBundleArgs: {}, |
| 58 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) | 58 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) |
| 59 | pscIdeArgs: {}, // for example, to use different psc-ide-server port: {port: 4088} | 59 | pscIdeClient: null, // purs ide client |
| 60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} | ||
| 61 | pscIdeServer: null, // purs ide server | ||
| 60 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } | 62 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } |
| 61 | pscIdeColors: false, // defaults to true if psc === 'psa' | 63 | pscIdeColors: false, // defaults to true if psc === 'psa' |
| 62 | pscPackage: false, | 64 | pscPackage: false, |