www/js/global.js

changeset 217
318aab371497
parent 209
dc30801e6961
child 220
14e349ff2a10
--- a/www/js/global.js	Sun Jan 27 17:39:53 2019 +0100
+++ b/www/js/global.js	Sun Jan 27 20:40:24 2019 +0100
@@ -345,6 +345,9 @@
 
 // options for editors
 
+var SGopts = {
+	inputMode: 'simple', spinMode: 'simple', theme: theme, width: 110, height: 23, min: 1.000, max: 1.199, decimalDigits: 3, spinButtons: true, spinButtonsStep: 0.001
+};
 var Spin1dec1 = {
 	inputMode: 'simple', spinMode: 'simple', theme: theme, width: 110, height: 23, min: 0, decimalDigits: 1, spinButtons: true, spinButtonsStep: 0.1
 };

mercurial