From 71a96808ac8a7c1ba8cb9c78b649d7f6e6530a95 Mon Sep 17 00:00:00 2001 From: eric thul Date: Mon, 24 Apr 2017 21:04:49 -0400 Subject: Add options for ide commands --- src/index.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/index.js') diff --git a/src/index.js b/src/index.js index 11b06eb..4c5abd2 100644 --- a/src/index.js +++ b/src/index.js @@ -108,9 +108,12 @@ module.exports = function purescriptLoader(source, map) { pscArgs: {}, pscBundle: null, pscBundleArgs: {}, + pscIdeClient: null, + pscIdeClientArgs: {}, + pscIdeServer: null, + pscIdeServerArgs: {}, pscIde: false, pscIdeColors: loaderOptions.psc === 'psa', - pscIdeArgs: {}, pscPackage: false, bundleOutput: 'output/bundle.js', bundleNamespace: 'PS', -- cgit v1.2.3