save window position and size

modules/core_lib/core_lib.otmod

@@ -15,6 +15,5 @@ Module
     require 'util'
     require 'globals'
     require 'dispatcher'
-    require 'widget'
     require 'effects'
     require 'settings'

modules/core_lib/dispatcher.lua

@@ -2,6 +2,7 @@ local eventId = 0
 local eventList = {}
 
 function scheduleEvent(func, delay)
+  if not func then return end
   eventId = eventId + 1
   local id = eventId
   local function proxyFunc()

modules/core_lib/settings.lua

@@ -0,0 +1,79 @@
+Settings = {}
+
+local function convertSettingValue(value)
+  if type(value) == 'table' then
+    if value.x and value.width then
+      return recttostring(value)
+    elseif value.x then
+      return pointtostring(value)
+    elseif value.width then
+      return sizetostring(value)
+    elseif value.r then
+      return colortostring(value)
+    end
+  else
+    return tostring(value)
+  end
+end
+
+function Settings.exists(key)
+  return g_configs.exists(key)
+end
+
+function Settings.remove(key)
+  g_configs.remove(key)
+end
+
+function Settings.set(key, value)
+  g_configs.set(key, convertSettingValue(value))
+end
+
+function Settings.setDefault(key, value)
+  if Settings.exists(key) then return false end
+  Settings.set(key, value)
+  return true
+end
+
+function Settings.get(key, default)
+  if Settings.exists(key) then
+  elseif default ~= nil then
+    Settings.set(key, default)
+  end
+  return g_configs.get(key)
+end
+
+function Settings.getString(key, default)
+  return Settings.get(key, default)
+end
+
+function Settings.getInteger(key, default)
+  return tonumber(Settings.get(key, default))
+end
+
+function Settings.getNumber(key, default)
+  return tonumber(Settings.get(key, default))
+end
+
+function Settings.getBoolean(key, default)
+  return toboolean(Settings.get(key, default))
+end
+
+function Settings.getPoint(key, default)
+  return topoint(Settings.get(key, default))
+end
+
+function Settings.getRect(key, default)
+  return torect(Settings.get(key, default))
+end
+
+function Settings.getSize(key, default)
+  return tosize(Settings.get(key, default))
+end
+
+function Settings.getColor(key, default)
+  return tocolor(Settings.get(key, default))
+end
+
+function Settings.getColor(key, default)
+  return tocolor(Settings.get(key, default))
+end

modules/core_lib/widget.lua

@@ -1,19 +0,0 @@
-function UIWidget:setMargin(...)
-    local params = {...}
-    if #params == 1 then
-        self:setMarginTop(params[1])
-        self:setMarginRight(params[1])
-        self:setMarginBottom(params[1])
-        self:setMarginLeft(params[1])
-    elseif #params == 2 then
-        self:setMarginTop(params[1])
-        self:setMarginRight(params[2])
-        self:setMarginBottom(params[1])
-        self:setMarginLeft(params[2])
-    elseif #params == 4 then
-        self:setMarginTop(params[1])
-        self:setMarginRight(params[2])
-        self:setMarginBottom(params[3])
-        self:setMarginLeft(params[4])
-    end
-end