2017-04-30 23:40:29 +00:00
|
|
|
local pop
|
2017-05-01 01:01:19 +00:00
|
|
|
local graphics, mouse
|
|
|
|
do
|
|
|
|
local _obj_0 = love
|
|
|
|
graphics, mouse = _obj_0.graphics, _obj_0.mouse
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
local path = (...):sub(1, -7)
|
|
|
|
local element = require(tostring(path) .. "/element")
|
2017-05-11 21:47:33 +00:00
|
|
|
local inheritsFromElement
|
|
|
|
inheritsFromElement = require(tostring(path:sub(1, -11)) .. "/util").inheritsFromElement
|
2017-05-01 01:01:19 +00:00
|
|
|
path = path:sub(1, -11)
|
|
|
|
local maximizeImage = graphics.newImage(tostring(path) .. "/images/maximize.png")
|
|
|
|
local minimizeImage = graphics.newImage(tostring(path) .. "/images/minimize.png")
|
|
|
|
local closeImage = graphics.newImage(tostring(path) .. "/images/close.png")
|
2016-09-08 03:53:22 +00:00
|
|
|
local window
|
|
|
|
do
|
|
|
|
local _class_0
|
2016-10-31 05:19:24 +00:00
|
|
|
local _parent_0 = element
|
2017-04-30 23:40:29 +00:00
|
|
|
local _base_0 = {
|
|
|
|
load = function(pop_lib)
|
|
|
|
pop = pop_lib
|
|
|
|
end,
|
|
|
|
align = function(self, ...)
|
|
|
|
if not (self.data.align) then
|
|
|
|
return self
|
|
|
|
end
|
|
|
|
_class_0.__parent.__base.align(self, ...)
|
|
|
|
self.header:align()
|
|
|
|
self.title:align()
|
|
|
|
self.window_area:align()
|
2017-05-01 01:01:19 +00:00
|
|
|
if self.closeButton then
|
|
|
|
self.closeButton:align()
|
|
|
|
end
|
|
|
|
if self.maximizeButton then
|
|
|
|
self.maximizeButton:align()
|
|
|
|
end
|
|
|
|
if self.minimizeButton then
|
|
|
|
self.minimizeButton:align()
|
|
|
|
end
|
2017-05-11 21:47:33 +00:00
|
|
|
if self.data.titleBar then
|
|
|
|
self.window_area:move(nil, self.header:getHeight())
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
return self
|
|
|
|
end,
|
|
|
|
setSize = function(self, w, h)
|
|
|
|
local x = 0
|
|
|
|
local y = 0
|
|
|
|
if w then
|
|
|
|
local _exp_0 = self.data.horizontal
|
|
|
|
if "center" == _exp_0 then
|
|
|
|
x = x - ((w - self.data.w) / 2)
|
|
|
|
elseif "right" == _exp_0 then
|
|
|
|
x = x - (w - self.data.w)
|
|
|
|
end
|
2017-05-01 01:01:19 +00:00
|
|
|
self.header:setWidth(w - self.data.header_width_reduction)
|
2017-04-30 23:40:29 +00:00
|
|
|
self.window_area:setWidth(w)
|
|
|
|
self.data.w = w
|
|
|
|
self.data.x = self.data.x + x
|
|
|
|
self.title:align()
|
|
|
|
end
|
|
|
|
if h then
|
|
|
|
local _exp_0 = self.data.vertical
|
|
|
|
if "center" == _exp_0 then
|
|
|
|
y = y - ((h - self.data.h) / 2)
|
|
|
|
elseif "right" == _exp_0 then
|
|
|
|
y = y - (h - self.data.h)
|
|
|
|
end
|
2017-05-11 21:47:33 +00:00
|
|
|
if self.data.titleBar then
|
|
|
|
self.window_area:setHeight(h - self.header:getHeight())
|
|
|
|
self.window_area:move(nil, self.header:getHeight())
|
|
|
|
else
|
|
|
|
self.window_area:setHeight(h)
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
self.data.h = h
|
|
|
|
self.data.y = self.data.y + y
|
|
|
|
end
|
|
|
|
self.header:move(x, y)
|
|
|
|
self.window_area:move(x, y)
|
|
|
|
return self
|
|
|
|
end,
|
|
|
|
setWidth = function(self, w)
|
|
|
|
return self:setSize(w)
|
|
|
|
end,
|
|
|
|
setHeight = function(self, h)
|
|
|
|
return self:setSize(nil, h)
|
2017-05-01 01:01:19 +00:00
|
|
|
end,
|
|
|
|
setPadding = function(self, padding)
|
|
|
|
self.window_area:setPadding(padding)
|
|
|
|
return self
|
|
|
|
end,
|
|
|
|
getPadding = function(self)
|
|
|
|
return self.window_area:getPadding()
|
|
|
|
end,
|
2017-05-11 21:47:33 +00:00
|
|
|
add = function(self, element)
|
|
|
|
self.window_area:add(element)
|
|
|
|
local x, y = self.window_area.data.x, self.window_area.data.y
|
|
|
|
return self
|
|
|
|
end,
|
|
|
|
remove = function(self, element)
|
|
|
|
self.window_area:remove(element)
|
2017-05-01 02:24:47 +00:00
|
|
|
return self
|
|
|
|
end,
|
2017-05-01 01:01:19 +00:00
|
|
|
maximize = function(self)
|
|
|
|
if self.data.maximized then
|
|
|
|
self:setSize(self.data.previous.w, self.data.previous.h)
|
2017-05-10 09:25:47 +00:00
|
|
|
self:align()
|
|
|
|
self:move(self.data.previous.x - self.data.x, self.data.previous.y - self.data.y)
|
2017-05-01 01:01:19 +00:00
|
|
|
else
|
|
|
|
self.data.previous.x = self.data.x
|
|
|
|
self.data.previous.y = self.data.y
|
|
|
|
self.data.previous.w = self.data.w
|
|
|
|
self.data.previous.h = self.data.h
|
|
|
|
self.data.x = self.parent.data.x
|
|
|
|
self.data.y = self.parent.data.y
|
|
|
|
self:setSize(self.parent.data.w, self.parent.data.h)
|
|
|
|
table.insert(self.parent.child, table.remove(self.parent.child, self.parent:indexOf(self)))
|
2017-05-10 09:25:47 +00:00
|
|
|
self:align()
|
2017-05-01 01:01:19 +00:00
|
|
|
end
|
|
|
|
self.data.maximized = not self.data.maximized
|
|
|
|
return self
|
|
|
|
end,
|
|
|
|
minimize = function(self)
|
|
|
|
self.data.draw = false
|
|
|
|
return self
|
|
|
|
end,
|
|
|
|
close = function(self)
|
|
|
|
return self:delete()
|
2017-04-30 23:40:29 +00:00
|
|
|
end
|
|
|
|
}
|
2016-09-08 03:53:22 +00:00
|
|
|
_base_0.__index = _base_0
|
2016-10-31 05:19:24 +00:00
|
|
|
setmetatable(_base_0, _parent_0.__base)
|
2016-09-08 03:53:22 +00:00
|
|
|
_class_0 = setmetatable({
|
2017-04-30 23:40:29 +00:00
|
|
|
__init = function(self, parent, data, title)
|
2016-09-08 03:53:22 +00:00
|
|
|
if data == nil then
|
|
|
|
data = { }
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
if title == nil then
|
|
|
|
title = "Window"
|
|
|
|
end
|
2016-09-08 03:53:22 +00:00
|
|
|
self.parent, self.data = parent, data
|
2016-10-31 06:40:40 +00:00
|
|
|
_class_0.__parent.__init(self, self.parent, self.data)
|
2017-05-10 09:25:47 +00:00
|
|
|
if self.data.type == "element" then
|
|
|
|
self.data.type = "window"
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
if not (self.data.w > 0) then
|
|
|
|
self.data.w = 100
|
|
|
|
end
|
|
|
|
if not (self.data.h > 0) then
|
|
|
|
self.data.h = 80
|
|
|
|
end
|
|
|
|
if not (self.data.containMethod) then
|
|
|
|
self.data.containMethod = "mouse"
|
|
|
|
end
|
2017-05-01 01:01:19 +00:00
|
|
|
self.data.maximized = false
|
2017-05-11 21:47:33 +00:00
|
|
|
if self.data.titleBar == nil then
|
|
|
|
self.data.titleBar = true
|
|
|
|
end
|
2017-08-14 01:59:18 +00:00
|
|
|
if self.data.moveable == nil then
|
|
|
|
self.data.moveable = true
|
|
|
|
end
|
2017-05-01 01:01:19 +00:00
|
|
|
if self.data.maximizeable == nil then
|
|
|
|
self.data.maximizeable = false
|
|
|
|
end
|
|
|
|
if self.data.minimizeable == nil then
|
|
|
|
self.data.minimizeable = false
|
|
|
|
end
|
|
|
|
if self.data.closeable == nil then
|
|
|
|
self.data.closeable = false
|
|
|
|
end
|
|
|
|
if not (self.data.previous) then
|
|
|
|
self.data.previous = { }
|
|
|
|
end
|
2017-05-10 09:25:47 +00:00
|
|
|
self.header = pop.box(self, {
|
|
|
|
type = "box (window header)"
|
|
|
|
}, self.data.titleBackground or {
|
2017-04-30 23:40:29 +00:00
|
|
|
25,
|
|
|
|
180,
|
|
|
|
230,
|
|
|
|
255
|
|
|
|
})
|
|
|
|
self.title = pop.text(self.header, {
|
2017-05-10 09:25:47 +00:00
|
|
|
horizontal = "center",
|
|
|
|
type = "text (window title)"
|
2017-04-30 23:40:29 +00:00
|
|
|
}, title, self.data.titleColor or {
|
|
|
|
255,
|
|
|
|
255,
|
|
|
|
255,
|
|
|
|
255
|
|
|
|
})
|
2017-05-01 01:01:19 +00:00
|
|
|
self.window_area = pop.box(self, {
|
2017-05-10 09:25:47 +00:00
|
|
|
padding = 5,
|
|
|
|
type = "box (window area)"
|
2017-05-01 01:01:19 +00:00
|
|
|
}, self.data.windowBackground or {
|
2017-04-30 23:40:29 +00:00
|
|
|
200,
|
|
|
|
200,
|
|
|
|
210,
|
|
|
|
255
|
|
|
|
})
|
2017-05-01 01:01:19 +00:00
|
|
|
self.data.header_width_reduction = 0
|
|
|
|
local buttonSize = self.title:getHeight() + 1
|
|
|
|
if self.data.closeable then
|
|
|
|
self.closeButton = pop.box(self, {
|
|
|
|
w = buttonSize,
|
|
|
|
h = buttonSize,
|
2017-05-10 09:25:47 +00:00
|
|
|
horizontalMargin = self.data.header_width_reduction,
|
|
|
|
type = "box (window close button)"
|
2017-05-01 01:01:19 +00:00
|
|
|
}, closeImage):align("right")
|
|
|
|
self.closeButton.clicked = function(self, x, y, button)
|
|
|
|
if button == pop.constants.left_mouse then
|
2017-08-14 01:34:51 +00:00
|
|
|
self.parent:close()
|
|
|
|
return true
|
2017-05-01 01:01:19 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
self.data.header_width_reduction = self.data.header_width_reduction + buttonSize
|
|
|
|
end
|
|
|
|
if self.data.maximizeable then
|
|
|
|
self.maximizeButton = pop.box(self, {
|
|
|
|
w = buttonSize,
|
|
|
|
h = buttonSize,
|
2017-05-10 09:25:47 +00:00
|
|
|
horizontalMargin = self.data.header_width_reduction,
|
|
|
|
type = "box (window maximize button)"
|
2017-05-01 01:01:19 +00:00
|
|
|
}, maximizeImage):align("right")
|
|
|
|
self.maximizeButton.clicked = function(self, x, y, button)
|
|
|
|
if button == pop.constants.left_mouse then
|
2017-08-14 01:34:51 +00:00
|
|
|
self.parent:maximize()
|
|
|
|
return true
|
2017-05-01 01:01:19 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
self.data.header_width_reduction = self.data.header_width_reduction + buttonSize
|
|
|
|
end
|
|
|
|
if self.data.minimizeable then
|
|
|
|
self.minimizeButton = pop.box(self, {
|
|
|
|
w = buttonSize,
|
|
|
|
h = buttonSize,
|
2017-05-10 09:25:47 +00:00
|
|
|
horizontalMargin = self.data.header_width_reduction,
|
|
|
|
type = "box (window minimize button)"
|
2017-05-01 01:01:19 +00:00
|
|
|
}, minimizeImage):align("right")
|
|
|
|
self.minimizeButton.clicked = function(self, x, y, button)
|
|
|
|
if button == pop.constants.left_mouse then
|
2017-08-14 01:34:51 +00:00
|
|
|
self.parent:minimize()
|
|
|
|
return true
|
2017-05-01 01:01:19 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
self.data.header_width_reduction = self.data.header_width_reduction + buttonSize
|
|
|
|
end
|
|
|
|
local height = self.title:getHeight() + 1
|
|
|
|
self.header:setSize(self.data.w - self.data.header_width_reduction, height)
|
2017-05-11 21:47:33 +00:00
|
|
|
if self.data.titleBar then
|
|
|
|
self.window_area:setSize(self.data.w, self.data.h - height)
|
|
|
|
self.window_area:move(nil, height)
|
|
|
|
else
|
|
|
|
self.header.data.draw = false
|
|
|
|
self.window_area.data.x = self.data.x + self.data.padding
|
|
|
|
self.window_area.data.y = self.data.y + self.data.padding
|
|
|
|
self.window_area.data.w = self.data.w - self.data.padding * 2
|
|
|
|
self.window_area.data.h = self.data.h - self.data.padding * 2
|
|
|
|
end
|
2017-05-01 01:01:19 +00:00
|
|
|
self.window_area.mousepressed = function(self, x, y, button)
|
2017-04-30 23:40:29 +00:00
|
|
|
if button == pop.constants.left_mouse then
|
|
|
|
local grandparent = self.parent.parent
|
|
|
|
table.insert(grandparent.child, table.remove(grandparent.child, grandparent:indexOf(self.parent)))
|
|
|
|
end
|
|
|
|
return nil
|
|
|
|
end
|
2017-05-01 01:01:19 +00:00
|
|
|
self.window_area.clicked = function(self)
|
2017-04-30 23:40:29 +00:00
|
|
|
return nil
|
|
|
|
end
|
|
|
|
local selected = false
|
|
|
|
local mx = 0
|
|
|
|
local my = 0
|
|
|
|
self.header.mousemoved = function(self, x, y, dx, dy)
|
|
|
|
if selected then
|
|
|
|
self.parent:move(dx, dy)
|
|
|
|
local grandparent = self.parent.parent
|
|
|
|
local _exp_0 = self.parent.data.containMethod
|
|
|
|
if "title" == _exp_0 then
|
|
|
|
if self.data.x < grandparent.data.x then
|
|
|
|
self.parent:move(grandparent.data.x - self.data.x)
|
|
|
|
end
|
|
|
|
if self.data.y < grandparent.data.y then
|
|
|
|
self.parent:move(nil, grandparent.data.y - self.data.y)
|
|
|
|
end
|
|
|
|
if self.data.x + self.data.w > grandparent.data.x + grandparent.data.w then
|
|
|
|
self.parent:move(grandparent.data.x + grandparent.data.w - (self.data.x + self.data.w))
|
|
|
|
end
|
|
|
|
if self.data.y + self.data.h > grandparent.data.y + grandparent.data.h then
|
|
|
|
self.parent:move(nil, grandparent.data.y + grandparent.data.h - (self.data.y + self.data.h))
|
|
|
|
end
|
|
|
|
elseif "body" == _exp_0 then
|
|
|
|
if self.data.x < grandparent.data.x then
|
|
|
|
self.parent:move(grandparent.data.x - self.data.x)
|
|
|
|
end
|
|
|
|
if self.data.y < grandparent.data.y then
|
|
|
|
self.parent:move(nil, grandparent.data.y - self.data.y)
|
|
|
|
end
|
|
|
|
if self.parent.data.x + self.parent.data.w > grandparent.data.x + grandparent.data.w then
|
|
|
|
self.parent:move(grandparent.data.x + grandparent.data.w - (self.parent.data.x + self.parent.data.w))
|
|
|
|
end
|
|
|
|
if self.parent.data.y + self.parent.data.h > grandparent.data.y + grandparent.data.h then
|
|
|
|
self.parent:move(nil, grandparent.data.y + grandparent.data.h - (self.parent.data.y + self.parent.data.h))
|
|
|
|
end
|
|
|
|
elseif "mouse" == _exp_0 then
|
|
|
|
if mouse.getX() < grandparent.data.x then
|
|
|
|
self.parent:setPosition(grandparent.data.x + self.data.w - mx)
|
|
|
|
end
|
|
|
|
if mouse.getY() < grandparent.data.y then
|
|
|
|
self.parent:setPosition(nil, grandparent.data.y + self.parent.data.h - my)
|
|
|
|
end
|
|
|
|
if mouse.getX() > grandparent.data.x + grandparent.data.w then
|
|
|
|
self.parent:setPosition(grandparent.data.x + grandparent.data.w + self.data.w - mx)
|
|
|
|
end
|
|
|
|
if mouse.getY() > grandparent.data.y + grandparent.data.h then
|
|
|
|
self.parent:setPosition(nil, grandparent.data.y + grandparent.data.h + self.parent.data.h - my)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
self.header.mousepressed = function(self, x, y, button)
|
2017-08-14 01:59:18 +00:00
|
|
|
if self.data.moveable and button == pop.constants.left_mouse then
|
2017-04-30 23:40:29 +00:00
|
|
|
local grandparent = self.parent.parent
|
|
|
|
table.insert(grandparent.child, table.remove(grandparent.child, grandparent:indexOf(self.parent)))
|
|
|
|
selected = true
|
|
|
|
mx = x
|
|
|
|
my = y
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
self.header.mousereleased = function(self, x, y, button)
|
|
|
|
if button == pop.constants.left_mouse then
|
|
|
|
selected = false
|
2017-08-14 01:59:18 +00:00
|
|
|
if self == pop.focused then
|
|
|
|
pop.focused = false
|
|
|
|
end
|
2017-04-30 23:40:29 +00:00
|
|
|
return true
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
return self:align()
|
2016-09-08 03:53:22 +00:00
|
|
|
end,
|
|
|
|
__base = _base_0,
|
2016-10-31 05:19:24 +00:00
|
|
|
__name = "window",
|
|
|
|
__parent = _parent_0
|
2016-09-08 03:53:22 +00:00
|
|
|
}, {
|
2016-10-31 05:19:24 +00:00
|
|
|
__index = function(cls, name)
|
|
|
|
local val = rawget(_base_0, name)
|
|
|
|
if val == nil then
|
|
|
|
local parent = rawget(cls, "__parent")
|
|
|
|
if parent then
|
|
|
|
return parent[name]
|
|
|
|
end
|
|
|
|
else
|
|
|
|
return val
|
|
|
|
end
|
|
|
|
end,
|
2016-09-08 03:53:22 +00:00
|
|
|
__call = function(cls, ...)
|
|
|
|
local _self_0 = setmetatable({}, _base_0)
|
|
|
|
cls.__init(_self_0, ...)
|
|
|
|
return _self_0
|
|
|
|
end
|
|
|
|
})
|
|
|
|
_base_0.__class = _class_0
|
2016-10-31 05:19:24 +00:00
|
|
|
if _parent_0.__inherited then
|
|
|
|
_parent_0.__inherited(_parent_0, _class_0)
|
|
|
|
end
|
2016-09-08 03:53:22 +00:00
|
|
|
window = _class_0
|
|
|
|
return _class_0
|
|
|
|
end
|