From acd36a7a298f0b8d60f88370069edd3501602e11 Mon Sep 17 00:00:00 2001 From: DanyLE Date: Tue, 20 Jun 2023 18:02:22 +0200 Subject: [PATCH] cleanup code --- src/core/gui.ts | 3 --- src/core/pm.ts | 1 - 2 files changed, 4 deletions(-) diff --git a/src/core/gui.ts b/src/core/gui.ts index c7d6588..ae1c59a 100644 --- a/src/core/gui.ts +++ b/src/core/gui.ts @@ -730,7 +730,6 @@ namespace OS { let settings = {}; try { - console.log("load setting for", app); if(mt.path.asFileHandle().protocol === "home") { settings = await `${mt.path}/.settings.json`.asFileHandle().read("json"); @@ -745,7 +744,6 @@ namespace OS { { } application[app].setting_wdg = API.watcher(settings, (o,k,v,p) => { - console.log("Changed detected", o, k,v, p); let key = k; if(p.length > 0) { @@ -761,7 +759,6 @@ namespace OS { data.message = key; data.iconclass = mt?mt.iconclass:undefined; data.u_data = undefined; - console.log(data); return announcer.trigger("appregistry", data); }); const p = await PM.createProcess( diff --git a/src/core/pm.ts b/src/core/pm.ts index 36e0ed4..11c580c 100644 --- a/src/core/pm.ts +++ b/src/core/pm.ts @@ -147,7 +147,6 @@ namespace OS { } file.cache = app_class.setting_wdg; //file.cache = JSON.stringify(app_class.setting_wdg, undefined, 4); - console.log("save setting file"); file .write("object") .catch((e) =>{