diff --git a/app/package.json b/app/package.json index d7892b1..b388de7 100644 --- a/app/package.json +++ b/app/package.json @@ -1,7 +1,7 @@ { "name": "DeDop-studio", "productName": "DeDop-studio", - "version": "1.2.0-dev1", + "version": "1.2.0", "description": "DeDop Studio", "main": "main.js", "author": "Brockmann Consult GmbH", diff --git a/appveyor.yml b/appveyor.yml index edd661e..f6e624c 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -1,7 +1,7 @@ # build is disabled because it expects MS Visual Studio solution file build: off -version: '1.2.0.dev1.{build}' +version: '1.2.0.{build}' environment: nodejs_version: "6.9.1" diff --git a/dedop-config.js.notused b/dedop-config.js.notused new file mode 100644 index 0000000..e3dcbb3 --- /dev/null +++ b/dedop-config.js.notused @@ -0,0 +1,61 @@ +module.exports = { + /** + * DeDop WebAPI service configuration. + */ + webAPIConfig: { + /** + * DeDop WebAPI service executable which points into DeDop's Python environment where dedop-core + * has be installed, e.g. using "python setup.py develop" or "python setup.py install". + * In the sample command below, dedop-webapi was installed under pyharm-dedop miniconda environment. + */ + command: "C:\\Miniconda3\\envs\\pycharm-dedop\\Scripts\\dedop-webapi.exe", + /** + * The port used by the DeDop WebAPI service + */ + servicePort: 2999, + /** + * The address used by the DeDop WebAPI service, use empty string to denote localhost (127.0.0.1) + */ + serviceAddress: '', + /** + * The file in which DeDop WebAPI service stores its configuration while it is running. + */ + serviceFile: 'dedop-webapi-info.json', + /** + * Additional process invocation options. + * For details refer to https://nodejs.org/api/child_process.html#child_process_child_process_spawn_command_args_options + */ + processOptions: {}, + + /** + * Ignore all setting above and use a mock service instead, useful for development. + */ + useMockService: false, + }, + + /** + * DeDop's user preferences file, default is ~/.dedop/dedop-prefs.json + */ + prefsFile: null, + + /** + * Set whether or not DevTools are initially opened. + */ + devToolsOpened: true, + + /** + * List of Chrome DevTools extensions. See + * - https://developer.chrome.com/devtools + * - https://github.com/MarshallOfSound/electron-devtools-installer + */ + devToolsExtensions: [ + // "EMBER_INSPECTOR", + // "REACT_DEVELOPER_TOOLS", + // "BACKBONE_DEBUGGER", + // "JQUERY_DEBUGGER", + // "ANGULARJS_BATARANG", + // "VUEJS_DEVTOOLS", + // "REDUX_DEVTOOLS", + // "REACT_PERF", + ], +}; diff --git a/package.json b/package.json index 7e0513a..bbf9edb 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "DeDop-studio", "productName": "DeDop-studio", - "version": "1.2.0-dev1", + "version": "1.2.0", "description": "DeDop Studio", "private": true, "scripts": {