v1.2.0

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",

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"

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",
+    ],
+};

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": {