ui changes

* create UIResizeBorder
* restore miniwindow
* scroll fixes

modules/core_lib/core_lib.otmod

@@ -42,4 +42,5 @@ Module
     dofile 'widgets/uisplitter'
     dofile 'widgets/uiscrollbar'
     dofile 'widgets/uiscrollarea'
+    dofile 'widgets/uiresizeborder'
 

modules/core_lib/widgets/uiresizeborder.lua

@@ -0,0 +1,88 @@
+UIResizeBorder = extends(UIWidget)
+
+function UIResizeBorder.create()
+  local resizeborder = UIResizeBorder.internalCreate()
+  resizeborder:setFocusable(false)
+  resizeborder.minimum = 0
+  resizeborder.maximum = 1000
+  return resizeborder
+end
+
+function UIResizeBorder:onHoverChange(hovered)
+  if hovered then
+    if self:getWidth() > self:getHeight() then
+      Mouse.setVerticalCursor()
+      self.vertical = true
+    else
+      Mouse.setHorizontalCursor()
+      self.vertical = false
+    end
+    if not self:isPressed() then
+      Effects.fadeIn(self)
+    end
+  else
+    if not self:isPressed() then
+      Mouse.restoreCursor()
+      Effects.fadeOut(self)
+    end
+  end
+end
+
+function UIResizeBorder:onMouseMove(mousePos, mouseMoved)
+  if self:isPressed() then
+    if self.vertical then
+      local delta = mousePos.y - self:getY() - self:getHeight()/2
+      local parent = self:getParent()
+      local newsize = math.min(math.max(parent:getHeight() + delta, self.minimum), self.maximum)
+      if newsize ~= currentMargin then
+        self.newsize = newsize
+        if not self.event or self.event:isExecuted() then
+          self.event = addEvent(function()
+            parent:setHeight(self.newsize)
+          end)
+        end
+      end
+    else
+      local delta = mousePos.x - self:getX() - self:getWidth()/2
+      local parent = self:getParent()
+      local newsize = math.min(math.max(parent:getWidth() + delta, self.minimum), self.maximum)
+      if newsize ~= currentMargin then
+        self.newsize = newsize
+        if not self.event or self.event:isExecuted() then
+          self.event = addEvent(function()
+            parent:setWidth(self.newsize)
+          end)
+        end
+      end
+    end
+    return true
+  end
+end
+
+function UIResizeBorder:onMouseRelease(mousePos, mouseButton)
+  if not self:isHovered() then
+    Mouse.restoreCursor()
+    Effects.fadeOut(self)
+  end
+end
+
+function UIResizeBorder:onStyleApply(styleName, styleNode)
+  for name,value in pairs(styleNode) do
+    if name == 'maximum' then
+      self:setMaximum(tonumber(value))
+    elseif name == 'minimum' then
+      self:setMinimum(tonumber(value))
+    end
+  end
+end
+
+function UIResizeBorder:setMaximum(maximum)
+  self.maximum  = maximum
+end
+
+function UIResizeBorder:setMinimum(minimum)
+  self.minimum = minimum
+end
+
+function UIResizeBorder:getMaximum() return self.maximum end
+function UIResizeBorder:getMinimum() return self.minimum end

modules/core_lib/widgets/uisplitter.lua

@@ -33,6 +33,7 @@ function UISplitter:onMouseMove(mousePos, mouseMoved)
     if self.vertical then
       local delta = mousePos.y - self:getY() - self:getHeight()/2
       local newMargin = self:canUpdateMargin(self:getMarginBottom() - delta)
+      local currentMargin = self:getMarginBottom()
       if newMargin ~= currentMargin then
         self.newMargin = newMargin
         if not self.event or self.event:isExecuted() then
@@ -44,6 +45,7 @@ function UISplitter:onMouseMove(mousePos, mouseMoved)
     else
       local delta = mousePos.x - self:getX() - self:getWidth()/2
       local newMargin = self:canUpdateMargin(self:getMarginRight() - delta)
+      local currentMargin = self:getMarginRight()
       if newMargin ~= currentMargin then
         self.newMargin = newMargin
         if not self.event or self.event:isExecuted() then