InputSaveDelay

Author: JerryI

Views/Notebook/Notebook.wlx

@@ -413,9 +413,14 @@ evaluateCell[cell_, notebook_, secret_String, log_String, kernels_, cli_, modals
     promise
 ] ];
 
-Script[OptionsPattern[]] := With[{ExtensionTemplateInjection = OptionValue["ExtensionTemplateInjection"]},
+Script[OptionsPattern[]] := With[{
+    ExtensionTemplateInjection = OptionValue["ExtensionTemplateInjection"],
+    InputSaveDelay = Lookup[OptionValue["Parameters"], "InputSaveDelay", 200]
+},
     <div>
         <script type="module">
+            CellWrapper.inputSaveDelay = <InputSaveDelay/>;
+
             core.UINotebook = async (args, env) => {
                 const type = await interpretate(args[0], env);
                 core.UINotebook[type](args.slice(1), env);
@@ -972,7 +977,7 @@ Component[OptionsPattern[]] := With[{
             <ExtensionTemplateInjection Template={"Footer"} Modals={modals} Messager={log} Notebook={notebook} Event={secret} Controls={controller}/>
             <ExtensionTemplateInjection Template={"Scripts"} />
 
-            <Script ExtensionTemplateInjection={ExtensionTemplateInjection}/>
+            <Script Parameters={parameters} ExtensionTemplateInjection={ExtensionTemplateInjection}/>
 
             <WebUIOnLoad Event={secret} Pattern={"Load"}/>
         </main>
@@ -981,7 +986,7 @@ Component[OptionsPattern[]] := With[{
 ]
 
 Options[Component] = {"Parameters"->Null, "IframeQ"->False, "AppEvents"->"blacksheep", "Kernels"->{}, "Modals"->"", "Controls" ->"", "ControlsPort"->"", "Notebook"->Null, "Event"->"blackhole", "Messager"->"blackout", "Secret" :> CreateUUID[], "ExtensionTemplateWrapper"-> sequenceIdentity, "ExtensionTemplateInjection" -> emptyStringFunction, "ExternalEventHandlers" -> Null}
-Options[Script] = {"ExtensionTemplateInjection" -> emptyStringFunction}
+Options[Script] = {"Parameters"->Null, "ExtensionTemplateInjection" -> emptyStringFunction}
 
 emptyStringFunction[x__] := ""
 sequenceIdentity[first__, rulels___Rule] := first 

Views/Settings/Components/General.wlx

@@ -22,6 +22,7 @@ parseInt[any_String] := ToExpression[any]
 parseInt[any_] := any 
 
 defaultBackupTime = If[KeyExistsQ[settings, "BackupTimeout"], Round[settings["BackupTimeout"]/60/1000], 3]
+defaultInputSaveDelay = If[KeyExistsQ[settings, "InputSaveDelay"], settings["InputSaveDelay"], 180]
 defaultTheme = If[KeyExistsQ[settings, "Theme"], settings["Theme"], "System"]
 
 defaultTray = If[KeyExistsQ[settings, "RunInTray"], settings["RunInTray"], False]
@@ -107,6 +108,12 @@ EventHandler[Secret, {"Load" -> Function[Null,
             ]
         ],
 
+        "InputSaveDelay" -> Function[value,
+            settings = Join[settings, <|"InputSaveDelay"-> parseInt[value]|>];
+            onSave[settings];
+            EventFire[Messager, Notifications`NotificationMessage["Info"](*`*), "Changes will be applied after restart"];
+        ],
+
         "BackupTimeout" -> Function[value,
             settings = Join[settings, <|"BackupTimeout"-> (60 1000 parseInt[value])|>];
             onSave[settings];
@@ -197,12 +204,20 @@ EventHandler[Secret, {"Load" -> Function[Null,
 
             <div class="pb-2 mt-2 mt-5 gap-y-2 flex flex-col">
                 <div class="rounded-md px-3 pb-3 pt-2.5 shadow-sm ring-1 ring-inset ring-gray-300 focus-within:ring-2 focus-within:ring-indigo-600">
-                    <label for="BackupTimeout" class="block text-xs font-medium text-gray-900 dark:text-gray-400">Backup time interval</label>
+                    <label for="BackupTimeout" class="block text-xs font-medium text-gray-900 dark:text-gray-400">Backup time interval (mins)</label>
                     <input type="number" value="{defaultBackupTime}" min="3" max="3000" step="1" id="BackupTimeout" class="block w-full border-0 p-0 dark:bg-gray-700 text-gray-900 dark:text-gray-300 placeholder:text-gray-400 focus:ring-0 sm:text-sm sm:leading-6"/>
                     <WebUIEventListener Id={"BackupTimeout"} Type={"blur"} Event={controller} Pattern={"BackupTimeout"}/>
                 </div> 
             </div> 
 
+            <div class="pb-2 mt-2 mt-5 gap-y-2 flex flex-col">
+                <div class="rounded-md px-3 pb-3 pt-2.5 shadow-sm ring-1 ring-inset ring-gray-300 focus-within:ring-2 focus-within:ring-indigo-600">
+                    <label for="inputSaveDelay" class="block text-xs font-medium text-gray-900 dark:text-gray-400">On change saving interval (ms)</label>
+                    <input type="number" value="{defaultInputSaveDelay}" min="50" max="500" step="20" id="inputSaveDelay" class="block w-full border-0 p-0 dark:bg-gray-700 text-gray-900 dark:text-gray-300 placeholder:text-gray-400 focus:ring-0 sm:text-sm sm:leading-6"/>
+                    <WebUIEventListener Id={"inputSaveDelay"} Type={"blur"} Event={controller} Pattern={"InputSaveDelay"}/>
+                </div> 
+            </div> 
+
             <StringRiffle>
                 <Checkbox Label={"Expert mode"} Event={controller} Topic={"ExpertMode"} Description={"Shows invisible cells"} Checked={settings["ExpertMode"]}/>
             </StringRiffle>