adding settings

apps.json

@@ -2685,7 +2685,11 @@
   "storage": [
     {"name":"planetarium.app.js","url":"planetarium.app.js"},
     {"name":"planetarium.data.csv","url":"planetarium.data.csv"},
+    {"name":"planetarium.settings.js","url":"settings.js"},
     {"name":"planetarium.img","url":"planetarium-icon.js","evaluate":true}
+  ],
+  "data":[
+    {"name":"planetarium.json"}
   ]
 }
 ]

apps/planetarium/settings.js

@@ -0,0 +1,21 @@
+// make sure to enclose the function in parentheses
+(function(back) {
+    let settings = require('Storage').readJSON('planetarium.json',1)||{};
+    function save(key, value) {
+      settings[key] = value;
+      require('Storage').write('planetarium.json',settings);
+    }
+    const appMenu = {
+      '': {'title': 'Planetarium Settings'},
+      '< Back': back,
+      'Show star names': {
+        value: settings.showstarnames||false,
+        onchange: (m) => {save('showstarnames', m)}
+      },
+      'Show constellations': {
+        value: settings.showcons||true,
+        onchange: (m) => {save('showcons', m)}
+      }      
+    };
+    E.showMenu(appMenu)
+  })