2017-10-07 04:27:41 +00:00
|
|
|
local Canvas = require('ui.canvas')
|
|
|
|
local class = require('class')
|
|
|
|
local Event = require('event')
|
2017-10-15 23:55:05 +00:00
|
|
|
local Input = require('input')
|
2017-10-07 04:27:41 +00:00
|
|
|
local Transition = require('ui.transition')
|
|
|
|
local Util = require('util')
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
local _rep = string.rep
|
|
|
|
local _sub = string.sub
|
|
|
|
local colors = _G.colors
|
|
|
|
local device = _G.device
|
|
|
|
local fs = _G.fs
|
|
|
|
local keys = _G.keys
|
|
|
|
local multishell = _ENV.multishell
|
|
|
|
local os = _G.os
|
|
|
|
local term = _G.term
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-09 04:26:19 +00:00
|
|
|
--[[
|
|
|
|
Using the shorthand window definition, elements are created from
|
|
|
|
the bottom up. Once reaching the top, setParent is called top down.
|
|
|
|
|
|
|
|
On :init(), elements do not know the parent or can calculate sizing.
|
|
|
|
]]
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
local function safeValue(v)
|
|
|
|
local t = type(v)
|
|
|
|
if t == 'string' or t == 'number' then
|
|
|
|
return v
|
|
|
|
end
|
|
|
|
return tostring(v)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- need to add offsets to this test
|
|
|
|
local function getPosition(element)
|
|
|
|
local x, y = 1, 1
|
|
|
|
repeat
|
|
|
|
x = element.x + x - 1
|
|
|
|
y = element.y + y - 1
|
|
|
|
element = element.parent
|
|
|
|
until not element
|
|
|
|
return x, y
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Top Level Manager --]]--
|
|
|
|
local Manager = class()
|
2017-10-07 04:27:41 +00:00
|
|
|
function Manager:init()
|
2017-07-28 23:01:59 +00:00
|
|
|
local running = false
|
|
|
|
|
|
|
|
-- single thread all input events
|
|
|
|
local function singleThread(event, fn)
|
2017-10-07 04:27:41 +00:00
|
|
|
Event.on(event, function(_, ...)
|
2017-07-28 23:01:59 +00:00
|
|
|
if not running then
|
|
|
|
running = true
|
|
|
|
fn(...)
|
|
|
|
running = false
|
2017-10-15 23:55:05 +00:00
|
|
|
else
|
|
|
|
Input:translate(event, ...)
|
2017-07-28 23:01:59 +00:00
|
|
|
end
|
|
|
|
end)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
Event.on('multishell_focus', function()
|
|
|
|
Input:reset()
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('term_resize', function(side)
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.currentPage then
|
|
|
|
-- the parent doesn't have any children set...
|
|
|
|
-- that's why we have to resize both the parent and the current page
|
|
|
|
-- kinda makes sense
|
|
|
|
if self.currentPage.parent.device.side == side then
|
|
|
|
self.currentPage.parent:resize()
|
2017-09-30 02:30:01 +00:00
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
self.currentPage:resize()
|
|
|
|
self.currentPage:draw()
|
|
|
|
self.currentPage:sync()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('mouse_scroll', function(direction, x, y)
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.target then
|
|
|
|
local event = self:pointToChild(self.target, x, y)
|
|
|
|
local directions = {
|
|
|
|
[ -1 ] = 'up',
|
|
|
|
[ 1 ] = 'down'
|
|
|
|
}
|
|
|
|
-- revisit - should send out scroll_up and scroll_down events
|
|
|
|
-- let the element convert them to up / down
|
|
|
|
self:inputEvent(event.element,
|
|
|
|
{ type = 'key', key = directions[direction] })
|
|
|
|
self.currentPage:sync()
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
|
|
|
-- this should be moved to the device !
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('monitor_touch', function(side, x, y)
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.currentPage then
|
|
|
|
if self.currentPage.parent.device.side == side then
|
|
|
|
self:click(1, x, y)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('mouse_click', function(button, x, y)
|
2017-10-15 23:55:05 +00:00
|
|
|
Input:translate('mouse_click', button, x, y)
|
2016-12-18 19:38:48 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
if self.currentPage then
|
2017-05-26 01:06:17 +00:00
|
|
|
if not self.currentPage.parent.device.side then
|
|
|
|
local event = self:pointToChild(self.target, x, y)
|
2017-10-06 17:39:47 +00:00
|
|
|
if event.element.focus and not event.element.inactive then
|
2017-05-26 01:06:17 +00:00
|
|
|
self.currentPage:setFocus(event.element)
|
|
|
|
self.currentPage:sync()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('mouse_up', function(button, x, y)
|
2017-10-15 23:55:05 +00:00
|
|
|
local ch = Input:translate('mouse_up', button, x, y)
|
2017-05-26 01:06:17 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
if ch == 'control-shift-mouse_click' then -- hack
|
|
|
|
local event = self:pointToChild(self.target, x, y)
|
|
|
|
multishell.openTab({
|
|
|
|
path = 'sys/apps/Lua.lua',
|
|
|
|
args = { event.element, self:dump(self.currentPage) },
|
|
|
|
focused = true })
|
|
|
|
|
|
|
|
elseif ch and self.currentPage then
|
2016-12-11 19:24:52 +00:00
|
|
|
if not self.currentPage.parent.device.side then
|
2017-10-15 23:55:05 +00:00
|
|
|
self:click(ch, button, x, y)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('mouse_drag', function(button, x, y)
|
2017-10-15 23:55:05 +00:00
|
|
|
local ch = Input:translate('mouse_drag', button, x, y)
|
|
|
|
if ch and self.target then
|
2017-05-12 05:12:58 +00:00
|
|
|
local event = self:pointToChild(self.target, x, y)
|
|
|
|
|
|
|
|
-- revisit - should send out scroll_up and scroll_down events
|
|
|
|
-- let the element convert them to up / down
|
|
|
|
self:inputEvent(event.element,
|
2017-10-15 23:55:05 +00:00
|
|
|
{ type = ch, button = button, x = event.x, y = event.y })
|
2017-05-12 05:12:58 +00:00
|
|
|
self.currentPage:sync()
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('paste', function(text)
|
2017-10-15 23:55:05 +00:00
|
|
|
Input:translate('paste')
|
2017-10-12 02:39:04 +00:00
|
|
|
self:emitEvent({ type = 'paste', text = text })
|
|
|
|
self.currentPage:sync()
|
2016-12-11 19:24:52 +00:00
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('char', function(ch)
|
2017-10-15 23:55:05 +00:00
|
|
|
Input:translate('char', ch)
|
2016-12-11 19:24:52 +00:00
|
|
|
end)
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
singleThread('key_up', function(code)
|
2017-10-15 23:55:05 +00:00
|
|
|
local ch = Input:translate('key_up', code)
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
if ch and self.currentPage then
|
|
|
|
local target = self.currentPage.focused or self.currentPage
|
|
|
|
self:inputEvent(target,
|
|
|
|
{ type = 'key', key = ch, element = target })
|
|
|
|
self.currentPage:sync()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-15 23:55:05 +00:00
|
|
|
end)
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
singleThread('key', function(code, held)
|
|
|
|
local ch = Input:translate('key', code, held)
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
if ch and self.currentPage then
|
|
|
|
local target = self.currentPage.focused or self.currentPage
|
|
|
|
self:inputEvent(target,
|
|
|
|
{ type = 'key', key = ch, element = target })
|
|
|
|
self.currentPage:sync()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:configure(appName, ...)
|
|
|
|
local options = {
|
|
|
|
device = { arg = 'd', type = 'string',
|
|
|
|
desc = 'Device type' },
|
|
|
|
textScale = { arg = 't', type = 'number',
|
|
|
|
desc = 'Text scale' },
|
|
|
|
}
|
2017-05-20 22:27:26 +00:00
|
|
|
local defaults = Util.loadTable('usr/config/' .. appName) or { }
|
2016-12-11 19:24:52 +00:00
|
|
|
if not defaults.device then
|
|
|
|
defaults.device = { }
|
|
|
|
end
|
|
|
|
|
|
|
|
Util.getOptions(options, { ... }, true)
|
|
|
|
local optionValues = {
|
|
|
|
name = options.device.value,
|
|
|
|
textScale = options.textScale.value,
|
|
|
|
}
|
|
|
|
|
|
|
|
Util.merge(defaults.device, optionValues)
|
|
|
|
|
|
|
|
if defaults.device.name then
|
|
|
|
|
|
|
|
local dev
|
|
|
|
|
|
|
|
if defaults.device.name == 'terminal' then
|
|
|
|
dev = term.current()
|
|
|
|
else
|
|
|
|
dev = device[defaults.device.name]
|
|
|
|
end
|
|
|
|
|
|
|
|
if not dev then
|
|
|
|
error('Invalid display device')
|
|
|
|
end
|
2017-10-11 15:37:52 +00:00
|
|
|
self:setDefaultDevice(self.Device({
|
2016-12-11 19:24:52 +00:00
|
|
|
device = dev,
|
|
|
|
textScale = defaults.device.textScale,
|
2017-10-11 15:37:52 +00:00
|
|
|
}))
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
if defaults.theme then
|
|
|
|
for k,v in pairs(defaults.theme) do
|
|
|
|
if self[k] and self[k].defaults then
|
|
|
|
Util.merge(self[k].defaults, v)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-15 14:45:27 +00:00
|
|
|
function Manager:disableEffects()
|
2016-12-15 18:32:33 +00:00
|
|
|
self.defaultDevice.effectsEnabled = false
|
2016-12-15 14:45:27 +00:00
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function Manager:loadTheme(filename)
|
2016-12-23 04:22:04 +00:00
|
|
|
if fs.exists(filename) then
|
|
|
|
local theme, err = Util.loadTable(filename)
|
|
|
|
if not theme then
|
|
|
|
error(err)
|
|
|
|
end
|
|
|
|
for k,v in pairs(theme) do
|
|
|
|
if self[k] and self[k].defaults then
|
|
|
|
Util.merge(self[k].defaults, v)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:emitEvent(event)
|
|
|
|
if self.currentPage and self.currentPage.focused then
|
|
|
|
return self.currentPage.focused:emit(event)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:inputEvent(parent, event)
|
|
|
|
while parent do
|
2017-10-08 03:03:18 +00:00
|
|
|
if parent.accelerators then
|
|
|
|
local acc = parent.accelerators[event.key]
|
|
|
|
if acc then
|
|
|
|
if parent:emit({ type = acc, element = parent }) then
|
|
|
|
return true
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
if parent.eventHandler then
|
|
|
|
if parent:eventHandler(event) then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
parent = parent.parent
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:pointToChild(parent, x, y)
|
|
|
|
x = x + parent.offx - parent.x + 1
|
|
|
|
y = y + parent.offy - parent.y + 1
|
|
|
|
if parent.children then
|
|
|
|
for _,child in pairs(parent.children) do
|
2017-10-07 04:27:41 +00:00
|
|
|
if child.enabled and not child.inactive and
|
2016-12-11 19:24:52 +00:00
|
|
|
x >= child.x and x < child.x + child.width and
|
|
|
|
y >= child.y and y < child.y + child.height then
|
|
|
|
local c = self:pointToChild(child, x, y)
|
|
|
|
if c then
|
|
|
|
return c
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return {
|
|
|
|
element = parent,
|
|
|
|
x = x,
|
|
|
|
y = y
|
|
|
|
}
|
|
|
|
end
|
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
function Manager:click(code, button, x, y)
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.target then
|
|
|
|
|
|
|
|
local target = self.target
|
|
|
|
|
|
|
|
-- need to add offsets into this check
|
|
|
|
if x < self.target.x or y < self.target.y or
|
|
|
|
x > self.target.x + self.target.width - 1 or
|
|
|
|
y > self.target.y + self.target.height - 1 then
|
|
|
|
target:emit({ type = 'mouse_out' })
|
|
|
|
|
|
|
|
target = self.currentPage
|
|
|
|
end
|
|
|
|
|
|
|
|
local clickEvent = self:pointToChild(target, x, y)
|
|
|
|
|
2017-10-15 23:55:05 +00:00
|
|
|
if code == 'mouse_doubleclick' then
|
|
|
|
if self.doubleClickElement ~= clickEvent.element then
|
|
|
|
return
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
else
|
2017-10-15 23:55:05 +00:00
|
|
|
self.doubleClickElement = clickEvent.element
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
clickEvent.button = button
|
2017-10-15 23:55:05 +00:00
|
|
|
clickEvent.type = code
|
|
|
|
clickEvent.key = code
|
2016-12-11 19:24:52 +00:00
|
|
|
|
|
|
|
if clickEvent.element.focus then
|
|
|
|
self.currentPage:setFocus(clickEvent.element)
|
|
|
|
end
|
|
|
|
if not self:inputEvent(clickEvent.element, clickEvent) then
|
2017-10-15 23:55:05 +00:00
|
|
|
--[[
|
2016-12-11 19:24:52 +00:00
|
|
|
if button == 3 then
|
|
|
|
-- if the double-click was not captured
|
|
|
|
-- send through a single-click
|
|
|
|
clickEvent.button = 1
|
|
|
|
clickEvent.type = events[1]
|
|
|
|
clickEvent.key = events[1]
|
|
|
|
self:inputEvent(clickEvent.element, clickEvent)
|
|
|
|
end
|
2017-10-15 23:55:05 +00:00
|
|
|
]]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
self.currentPage:sync()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
function Manager:setDefaultDevice(dev)
|
|
|
|
self.defaultDevice = dev
|
|
|
|
self.term = dev
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:addPage(name, page)
|
|
|
|
self.pages[name] = page
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:setPages(pages)
|
|
|
|
self.pages = pages
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:getPage(pageName)
|
|
|
|
local page = self.pages[pageName]
|
|
|
|
|
|
|
|
if not page then
|
|
|
|
error('UI:getPage: Invalid page: ' .. tostring(pageName), 2)
|
|
|
|
end
|
|
|
|
|
|
|
|
return page
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:setPage(pageOrName, ...)
|
|
|
|
local page = pageOrName
|
|
|
|
|
|
|
|
if type(pageOrName) == 'string' then
|
2017-10-18 02:30:23 +00:00
|
|
|
page = self.pages[pageOrName] or error('Invalid page: ' .. pageOrName)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
if page == self.currentPage then
|
|
|
|
page:draw()
|
|
|
|
else
|
2016-12-18 19:38:48 +00:00
|
|
|
local needSync
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.currentPage then
|
|
|
|
if self.currentPage.focused then
|
|
|
|
self.currentPage.focused.focused = false
|
|
|
|
self.currentPage.focused:focus()
|
|
|
|
end
|
|
|
|
self.currentPage:disable()
|
|
|
|
page.previousPage = self.currentPage
|
2016-12-18 19:38:48 +00:00
|
|
|
else
|
|
|
|
needSync = true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
self.currentPage = page
|
|
|
|
self.currentPage:clear(page.backgroundColor)
|
|
|
|
page:enable(...)
|
|
|
|
page:draw()
|
|
|
|
if self.currentPage.focused then
|
|
|
|
self.currentPage.focused.focused = true
|
|
|
|
self.currentPage.focused:focus()
|
|
|
|
end
|
|
|
|
self:capture(self.currentPage)
|
2016-12-18 19:38:48 +00:00
|
|
|
if needSync then
|
|
|
|
page:sync() -- first time a page has been set
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:getCurrentPage()
|
|
|
|
return self.currentPage
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:setPreviousPage()
|
|
|
|
if self.currentPage.previousPage then
|
|
|
|
local previousPage = self.currentPage.previousPage.previousPage
|
|
|
|
self:setPage(self.currentPage.previousPage)
|
|
|
|
self.currentPage.previousPage = previousPage
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:capture(child)
|
|
|
|
self.target = child
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:release(child)
|
|
|
|
if self.target == child then
|
|
|
|
self.target = self.currentPage
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:getDefaults(element, args)
|
|
|
|
local defaults = Util.deepCopy(element.defaults)
|
|
|
|
if args then
|
2017-10-12 21:58:35 +00:00
|
|
|
Manager:mergeProperties(defaults, args)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
return defaults
|
|
|
|
end
|
|
|
|
|
2017-10-12 21:58:35 +00:00
|
|
|
function Manager:mergeProperties(obj, args)
|
2016-12-11 19:24:52 +00:00
|
|
|
if args then
|
|
|
|
for k,v in pairs(args) do
|
|
|
|
if k == 'accelerators' then
|
|
|
|
if obj.accelerators then
|
|
|
|
Util.merge(obj.accelerators, args.accelerators)
|
|
|
|
else
|
|
|
|
obj[k] = v
|
|
|
|
end
|
|
|
|
else
|
|
|
|
obj[k] = v
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-12 21:58:35 +00:00
|
|
|
function Manager:pullEvents(...)
|
|
|
|
Event.pullEvents(...)
|
|
|
|
self.term:reset()
|
|
|
|
end
|
|
|
|
|
|
|
|
function Manager:exitPullEvents()
|
|
|
|
Event.exitPullEvents()
|
|
|
|
end
|
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
function Manager:dump(inEl)
|
|
|
|
if inEl then
|
2017-10-07 04:27:41 +00:00
|
|
|
local function clean(el)
|
|
|
|
local o = el
|
|
|
|
el = Util.shallowCopy(el)
|
|
|
|
el.parent = nil
|
|
|
|
if el.children then
|
|
|
|
local children = { }
|
|
|
|
for k,c in pairs(el.children) do
|
|
|
|
children[k] = clean(c)
|
|
|
|
end
|
|
|
|
el.children = children
|
|
|
|
end
|
|
|
|
for k,v in pairs(o) do
|
|
|
|
if type(v) == 'table' and v.UIElement then
|
|
|
|
el[k] = nil
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return el
|
|
|
|
end
|
2017-10-11 15:37:52 +00:00
|
|
|
return clean(inEl)
|
2017-10-07 04:27:41 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
local UI = Manager()
|
|
|
|
|
|
|
|
--[[-- Basic drawable area --]]--
|
|
|
|
UI.Window = class()
|
2017-10-11 15:37:52 +00:00
|
|
|
UI.Window.uid = 1
|
2016-12-11 19:24:52 +00:00
|
|
|
UI.Window.defaults = {
|
|
|
|
UIElement = 'Window',
|
|
|
|
x = 1,
|
|
|
|
y = 1,
|
|
|
|
-- z = 0, -- eventually...
|
|
|
|
offx = 0,
|
|
|
|
offy = 0,
|
|
|
|
cursorX = 1,
|
|
|
|
cursorY = 1,
|
|
|
|
}
|
|
|
|
function UI.Window:init(args)
|
2017-10-11 15:37:52 +00:00
|
|
|
-- merge defaults for all subclasses
|
|
|
|
local defaults = args
|
2017-10-12 21:58:35 +00:00
|
|
|
local m = getmetatable(self) -- get the class for this instance
|
2017-10-11 15:37:52 +00:00
|
|
|
repeat
|
|
|
|
defaults = UI:getDefaults(m, defaults)
|
|
|
|
m = m._base
|
|
|
|
until not m
|
2017-10-12 21:58:35 +00:00
|
|
|
UI:mergeProperties(self, defaults)
|
2017-10-11 15:37:52 +00:00
|
|
|
|
|
|
|
-- each element has a unique ID
|
|
|
|
self.uid = UI.Window.uid
|
|
|
|
UI.Window.uid = UI.Window.uid + 1
|
|
|
|
|
|
|
|
-- at this time, the object has all the properties set
|
|
|
|
|
|
|
|
-- postInit is a special constructor. the element does not need to implement
|
|
|
|
-- the method. But we need to guarantee that each subclass which has this
|
|
|
|
-- method is called.
|
|
|
|
m = self
|
|
|
|
local lpi
|
|
|
|
repeat
|
|
|
|
if m.postInit and m.postInit ~= lpi then
|
|
|
|
m.postInit(self)
|
|
|
|
lpi = m.postInit
|
|
|
|
end
|
|
|
|
m = m._base
|
|
|
|
until not m
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:postInit()
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.parent then
|
2017-10-11 15:37:52 +00:00
|
|
|
-- this will cascade down the whole tree of elements starting at the
|
|
|
|
-- top level window (which has a device as a parent)
|
2016-12-11 19:24:52 +00:00
|
|
|
self:setParent()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:initChildren()
|
|
|
|
local children = self.children
|
|
|
|
|
|
|
|
-- insert any UI elements created using the shorthand
|
|
|
|
-- window definition into the children array
|
|
|
|
for k,child in pairs(self) do
|
|
|
|
if k ~= 'parent' then -- reserved
|
|
|
|
if type(child) == 'table' and child.UIElement and not child.parent then
|
|
|
|
if not children then
|
|
|
|
children = { }
|
|
|
|
end
|
|
|
|
table.insert(children, child)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
if children then
|
|
|
|
for _,child in pairs(children) do
|
|
|
|
if not child.parent then
|
|
|
|
child.parent = self
|
|
|
|
child:setParent()
|
|
|
|
-- child:reposition() -- maybe
|
|
|
|
if self.enabled then
|
|
|
|
child:enable()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
self.children = children
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
local function setSize(self)
|
|
|
|
if self.x < 0 then
|
|
|
|
self.x = self.parent.width + self.x + 1
|
|
|
|
end
|
|
|
|
if self.y < 0 then
|
|
|
|
self.y = self.parent.height + self.y + 1
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
if self.ex then
|
|
|
|
local ex = self.ex
|
|
|
|
if self.ex <= 1 then
|
|
|
|
ex = self.parent.width + self.ex + 1
|
|
|
|
end
|
|
|
|
if self.width then
|
|
|
|
self.x = ex - self.width + 1
|
2016-12-14 17:36:28 +00:00
|
|
|
else
|
2017-09-30 02:30:01 +00:00
|
|
|
self.width = ex - self.x + 1
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
if self.ey then
|
|
|
|
local ey = self.ey
|
|
|
|
if self.ey <= 1 then
|
|
|
|
ey = self.parent.height + self.ey + 1
|
|
|
|
end
|
|
|
|
if self.height then
|
|
|
|
self.y = ey - self.height + 1
|
2016-12-14 17:36:28 +00:00
|
|
|
else
|
2017-09-30 02:30:01 +00:00
|
|
|
self.height = ey - self.y + 1
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
if not self.width then
|
|
|
|
self.width = self.parent.width - self.x + 1
|
|
|
|
end
|
|
|
|
if not self.height then
|
|
|
|
self.height = self.parent.height - self.y + 1
|
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- bad name... should be called something like postInit
|
|
|
|
-- normally used to determine sizes since the parent is
|
|
|
|
-- only known at this point
|
|
|
|
function UI.Window:setParent()
|
|
|
|
self.oh, self.ow = self.height, self.width
|
|
|
|
self.ox, self.oy = self.x, self.y
|
|
|
|
|
|
|
|
setSize(self)
|
2016-12-11 19:24:52 +00:00
|
|
|
|
|
|
|
self:initChildren()
|
|
|
|
end
|
|
|
|
|
2017-10-01 00:35:36 +00:00
|
|
|
function UI.Window:resize()
|
|
|
|
self.height, self.width = self.oh, self.ow
|
|
|
|
self.x, self.y = self.ox, self.oy
|
|
|
|
|
|
|
|
setSize(self)
|
|
|
|
|
|
|
|
if self.children then
|
|
|
|
for _,child in ipairs(self.children) do
|
|
|
|
child:resize()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Window:add(children)
|
2017-10-12 21:58:35 +00:00
|
|
|
UI:mergeProperties(self, children)
|
2016-12-11 19:24:52 +00:00
|
|
|
self:initChildren()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:getCursorPos()
|
|
|
|
return self.cursorX, self.cursorY
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:setCursorPos(x, y)
|
|
|
|
self.cursorX = x
|
|
|
|
self.cursorY = y
|
|
|
|
self.parent:setCursorPos(self.x + x - 1, self.y + y - 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:setCursorBlink(blink)
|
|
|
|
self.parent:setCursorBlink(blink)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:draw()
|
|
|
|
self:clear(self.backgroundColor)
|
|
|
|
if self.children then
|
2017-10-01 00:35:36 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-11 19:24:52 +00:00
|
|
|
if child.enabled then
|
|
|
|
child:draw()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:sync()
|
|
|
|
if self.parent then
|
|
|
|
self.parent:sync()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:enable()
|
|
|
|
self.enabled = true
|
|
|
|
if self.children then
|
2017-10-01 00:35:36 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-11 19:24:52 +00:00
|
|
|
child:enable()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:disable()
|
|
|
|
self.enabled = false
|
|
|
|
if self.children then
|
2017-10-01 00:35:36 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-11 19:24:52 +00:00
|
|
|
child:disable()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:setTextScale(textScale)
|
|
|
|
self.textScale = textScale
|
|
|
|
self.parent:setTextScale(textScale)
|
|
|
|
end
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
function UI.Window:clear(bg, fg)
|
2017-10-06 07:07:24 +00:00
|
|
|
if self.canvas then
|
2017-10-07 04:27:41 +00:00
|
|
|
self.canvas:clear(bg or self.backgroundColor, fg or self.textColor)
|
2017-10-06 07:07:24 +00:00
|
|
|
else
|
|
|
|
self:clearArea(1 + self.offx, 1 + self.offy, self.width, self.height, bg)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:clearLine(y, bg)
|
2017-10-06 07:07:24 +00:00
|
|
|
self:write(1, y, _rep(' ', self.width), bg)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:clearArea(x, y, width, height, bg)
|
|
|
|
if width > 0 then
|
2017-10-06 07:07:24 +00:00
|
|
|
local filler = _rep(' ', width)
|
2017-10-05 17:07:48 +00:00
|
|
|
for i = 0, height - 1 do
|
|
|
|
self:write(x, y + i, filler, bg)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:write(x, y, text, bg, tc)
|
|
|
|
bg = bg or self.backgroundColor
|
|
|
|
tc = tc or self.textColor
|
|
|
|
x = x - self.offx
|
|
|
|
y = y - self.offy
|
|
|
|
if y <= self.height and y > 0 then
|
2016-12-23 04:22:04 +00:00
|
|
|
if self.canvas then
|
|
|
|
self.canvas:write(x, y, text, bg, tc)
|
|
|
|
else
|
|
|
|
self.parent:write(
|
|
|
|
self.x + x - 1, self.y + y - 1, tostring(text), bg, tc)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:centeredWrite(y, text, bg, fg)
|
|
|
|
if #text >= self.width then
|
|
|
|
self:write(1, y, text, bg)
|
|
|
|
else
|
|
|
|
local space = math.floor((self.width-#text) / 2)
|
2017-10-06 07:07:24 +00:00
|
|
|
local filler = _rep(' ', space + 1)
|
|
|
|
local str = _sub(filler, 1, space) .. text
|
|
|
|
str = str .. _sub(filler, self.width - #str + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
self:write(1, y, str, bg, fg)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
function UI.Window:print(text, bg, fg)
|
|
|
|
local marginLeft = self.marginLeft or 0
|
|
|
|
local marginRight = self.marginRight or 0
|
|
|
|
local width = self.width - marginLeft - marginRight
|
2016-12-11 19:24:52 +00:00
|
|
|
|
|
|
|
local function nextWord(line, cx)
|
|
|
|
local result = { line:find("(%w+)", cx) }
|
|
|
|
if #result > 1 and result[2] > cx then
|
2017-10-06 07:07:24 +00:00
|
|
|
return _sub(line, cx, result[2] + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
elseif #result > 0 and result[1] == cx then
|
2017-10-11 15:37:52 +00:00
|
|
|
result = { line:find("(%w+)", result[2]) }
|
2016-12-11 19:24:52 +00:00
|
|
|
if #result > 0 then
|
2017-10-06 07:07:24 +00:00
|
|
|
return _sub(line, cx, result[1] + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
if cx <= #line then
|
2017-10-06 07:07:24 +00:00
|
|
|
return _sub(line, cx, #line)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
local function pieces(f, bg, fg)
|
|
|
|
local pos = 1
|
|
|
|
local t = { }
|
|
|
|
while true do
|
2017-10-08 03:03:18 +00:00
|
|
|
local s = string.find(f, '\027', pos, true)
|
2017-10-03 04:50:54 +00:00
|
|
|
if not s then
|
|
|
|
break
|
|
|
|
end
|
|
|
|
if pos < s then
|
2017-10-06 07:07:24 +00:00
|
|
|
table.insert(t, _sub(f, pos, s - 1))
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
2017-10-06 07:07:24 +00:00
|
|
|
local seq = _sub(f, s)
|
2017-10-03 04:50:54 +00:00
|
|
|
seq = seq:match("\027%[([%d;]+)m")
|
|
|
|
local e = { }
|
|
|
|
for color in string.gmatch(seq, "%d+") do
|
|
|
|
color = tonumber(color)
|
|
|
|
if color == 0 then
|
|
|
|
e.fg = fg
|
|
|
|
e.bg = bg
|
|
|
|
elseif color > 20 then
|
|
|
|
e.bg = 2 ^ (color - 21)
|
|
|
|
else
|
|
|
|
e.fg = 2 ^ (color - 1)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
table.insert(t, e)
|
|
|
|
pos = s + #seq + 3
|
|
|
|
end
|
2017-10-08 03:03:18 +00:00
|
|
|
if pos <= #f then
|
2017-10-06 07:07:24 +00:00
|
|
|
table.insert(t, _sub(f, pos))
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
|
|
|
return t
|
2016-12-18 19:38:48 +00:00
|
|
|
end
|
|
|
|
|
2016-12-14 17:36:28 +00:00
|
|
|
local lines = Util.split(text)
|
|
|
|
for k,line in pairs(lines) do
|
2017-10-03 04:50:54 +00:00
|
|
|
local fragments = pieces(line, bg, fg)
|
2017-10-07 04:27:41 +00:00
|
|
|
for _, fragment in ipairs(fragments) do
|
2017-10-03 04:50:54 +00:00
|
|
|
local lx = 1
|
|
|
|
if type(fragment) == 'table' then -- ansi sequence
|
|
|
|
fg = fragment.fg
|
|
|
|
bg = fragment.bg
|
|
|
|
else
|
|
|
|
while true do
|
|
|
|
local word = nextWord(fragment, lx)
|
|
|
|
if not word then
|
|
|
|
break
|
|
|
|
end
|
|
|
|
local w = word
|
2017-10-08 03:03:18 +00:00
|
|
|
if self.cursorX + #word > width then
|
|
|
|
self.cursorX = marginLeft + 1
|
2017-10-03 04:50:54 +00:00
|
|
|
self.cursorY = self.cursorY + 1
|
2017-10-11 15:37:52 +00:00
|
|
|
w = word:gsub('^ ', '')
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
|
|
|
self:write(self.cursorX, self.cursorY, w, bg, fg)
|
2017-10-11 15:37:52 +00:00
|
|
|
self.cursorX = self.cursorX + #w
|
2017-10-03 04:50:54 +00:00
|
|
|
lx = lx + #word
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
|
|
|
if lines[k + 1] then
|
2017-10-08 03:03:18 +00:00
|
|
|
self.cursorX = marginLeft + 1
|
2017-10-03 04:50:54 +00:00
|
|
|
self.cursorY = self.cursorY + 1
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
2017-10-03 04:50:54 +00:00
|
|
|
|
|
|
|
return self.cursorX, self.cursorY
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:setFocus(focus)
|
|
|
|
if self.parent then
|
|
|
|
self.parent:setFocus(focus)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:getFocusables()
|
|
|
|
local focusable = { }
|
|
|
|
|
|
|
|
local function focusSort(a, b)
|
|
|
|
if a.y == b.y then
|
|
|
|
return a.x < b.x
|
|
|
|
end
|
|
|
|
return a.y < b.y
|
|
|
|
end
|
|
|
|
|
|
|
|
local function getFocusable(parent, x, y)
|
|
|
|
for _,child in Util.spairs(parent.children, focusSort) do
|
2017-10-06 17:39:47 +00:00
|
|
|
if child.enabled and child.focus and not child.inactive then
|
2016-12-11 19:24:52 +00:00
|
|
|
table.insert(focusable, child)
|
|
|
|
end
|
|
|
|
if child.children then
|
|
|
|
getFocusable(child, child.x + x, child.y + y)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
if self.children then
|
|
|
|
getFocusable(self, self.x, self.y)
|
|
|
|
end
|
|
|
|
|
|
|
|
return focusable
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:focusFirst()
|
|
|
|
local focusables = self:getFocusables()
|
|
|
|
local focused = focusables[1]
|
|
|
|
if focused then
|
|
|
|
self:setFocus(focused)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Window:refocus()
|
|
|
|
local el = self
|
|
|
|
while el do
|
|
|
|
local focusables = el:getFocusables()
|
|
|
|
if focusables[1] then
|
|
|
|
self:setFocus(focusables[1])
|
|
|
|
break
|
|
|
|
end
|
|
|
|
el = el.parent
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Window:scrollIntoView()
|
|
|
|
local parent = self.parent
|
|
|
|
|
|
|
|
if self.x <= parent.offx then
|
|
|
|
parent.offx = math.max(0, self.x - 1)
|
|
|
|
parent:draw()
|
|
|
|
elseif self.x + self.width > parent.width + parent.offx then
|
|
|
|
parent.offx = self.x + self.width - parent.width - 1
|
|
|
|
parent:draw()
|
|
|
|
end
|
|
|
|
|
|
|
|
if self.y <= parent.offy then
|
|
|
|
parent.offy = math.max(0, self.y - 1)
|
|
|
|
parent:draw()
|
|
|
|
elseif self.y + self.height > parent.height + parent.offy then
|
|
|
|
parent.offy = self.y + self.height - parent.height - 1
|
|
|
|
parent:draw()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
function UI.Window:getCanvas()
|
|
|
|
local el = self
|
|
|
|
repeat
|
|
|
|
if el.canvas then
|
|
|
|
return el.canvas
|
|
|
|
end
|
|
|
|
el = el.parent
|
|
|
|
until not el
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Window:addLayer(bg, fg)
|
|
|
|
local canvas = self:getCanvas()
|
|
|
|
return canvas:addLayer(self, bg, fg)
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
function UI.Window:addTransition(effect, args)
|
2016-12-14 17:36:28 +00:00
|
|
|
if self.parent then
|
2017-10-03 04:50:54 +00:00
|
|
|
args = args or { }
|
|
|
|
if not args.x then -- not good
|
|
|
|
args.x, args.y = getPosition(self)
|
|
|
|
args.width = self.width
|
|
|
|
args.height = self.height
|
|
|
|
end
|
|
|
|
|
|
|
|
args.canvas = args.canvas or self.canvas
|
|
|
|
self.parent:addTransition(effect, args)
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Window:emit(event)
|
|
|
|
local parent = self
|
|
|
|
while parent do
|
|
|
|
if parent.eventHandler then
|
|
|
|
if parent:eventHandler(event) then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
parent = parent.parent
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Window:find(uid)
|
|
|
|
if self.children then
|
|
|
|
return Util.find(self.children, 'uid', uid)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Window:eventHandler(event)
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Terminal for computer / advanced computer / monitor --]]--
|
|
|
|
UI.Device = class(UI.Window)
|
|
|
|
UI.Device.defaults = {
|
|
|
|
UIElement = 'Device',
|
|
|
|
backgroundColor = colors.black,
|
|
|
|
textColor = colors.white,
|
|
|
|
textScale = 1,
|
2016-12-15 18:32:33 +00:00
|
|
|
effectsEnabled = true,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Device:postInit()
|
|
|
|
self.device = self.device or term.current()
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
if self.deviceType then
|
|
|
|
self.device = device[self.deviceType]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
if not self.device.setTextScale then
|
|
|
|
self.device.setTextScale = function() end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
self.device.setTextScale(self.textScale)
|
|
|
|
self.width, self.height = self.device.getSize()
|
2016-12-11 19:24:52 +00:00
|
|
|
|
|
|
|
self.isColor = self.device.isColor()
|
2016-12-23 04:22:04 +00:00
|
|
|
|
|
|
|
self.canvas = Canvas({
|
2017-10-06 07:07:24 +00:00
|
|
|
x = 1, y = 1, width = self.width, height = self.height,
|
2016-12-23 04:22:04 +00:00
|
|
|
isColor = self.isColor,
|
|
|
|
})
|
2017-05-31 11:06:30 +00:00
|
|
|
self.canvas:clear(self.backgroundColor, self.textColor)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:resize()
|
|
|
|
self.width, self.height = self.device.getSize()
|
2017-09-30 02:30:01 +00:00
|
|
|
self.lines = { }
|
|
|
|
self.canvas:resize(self.width, self.height)
|
|
|
|
self.canvas:clear(self.backgroundColor, self.textColor)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:setCursorPos(x, y)
|
|
|
|
self.cursorX = x
|
|
|
|
self.cursorY = y
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:getCursorBlink()
|
|
|
|
return self.cursorBlink
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:setCursorBlink(blink)
|
|
|
|
self.cursorBlink = blink
|
|
|
|
self.device.setCursorBlink(blink)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:setTextScale(textScale)
|
|
|
|
self.textScale = textScale
|
|
|
|
self.device.setTextScale(self.textScale)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Device:reset()
|
|
|
|
self.device.setBackgroundColor(colors.black)
|
|
|
|
self.device.setTextColor(colors.white)
|
|
|
|
self.device.clear()
|
|
|
|
self.device.setCursorPos(1, 1)
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
function UI.Device:addTransition(effect, args)
|
2016-12-18 19:38:48 +00:00
|
|
|
if not self.transitions then
|
|
|
|
self.transitions = { }
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
args = args or { }
|
|
|
|
args.ex = args.x + args.width - 1
|
|
|
|
args.ey = args.y + args.height - 1
|
|
|
|
args.canvas = args.canvas or self.canvas
|
|
|
|
|
2016-12-18 19:38:48 +00:00
|
|
|
if type(effect) == 'string' then
|
2017-10-07 04:27:41 +00:00
|
|
|
effect = Transition[effect]
|
|
|
|
if not effect then
|
|
|
|
error('Invalid transition')
|
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2017-10-03 04:50:54 +00:00
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
table.insert(self.transitions, { update = effect(args), args = args })
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
|
2016-12-23 04:22:04 +00:00
|
|
|
function UI.Device:runTransitions(transitions, canvas)
|
2016-12-18 19:38:48 +00:00
|
|
|
for _,t in ipairs(transitions) do
|
2017-10-07 04:27:41 +00:00
|
|
|
canvas:punch(t.args) -- punch out the effect areas
|
2016-12-15 14:45:27 +00:00
|
|
|
end
|
2016-12-23 04:22:04 +00:00
|
|
|
canvas:blitClipped(self.device) -- and blit the remainder
|
|
|
|
canvas:reset()
|
2016-12-15 14:45:27 +00:00
|
|
|
|
2016-12-18 19:38:48 +00:00
|
|
|
while true do
|
|
|
|
for _,k in ipairs(Util.keys(transitions)) do
|
|
|
|
local transition = transitions[k]
|
2017-10-07 04:27:41 +00:00
|
|
|
if not transition.update(self.device) then
|
2016-12-18 19:38:48 +00:00
|
|
|
transitions[k] = nil
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
end
|
2016-12-18 19:38:48 +00:00
|
|
|
if Util.empty(transitions) then
|
|
|
|
break
|
|
|
|
end
|
2017-07-24 02:37:07 +00:00
|
|
|
os.sleep(0)
|
2017-05-24 23:48:48 +00:00
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Device:sync()
|
2016-12-18 19:38:48 +00:00
|
|
|
local transitions
|
|
|
|
if self.transitions and self.effectsEnabled then
|
|
|
|
transitions = self.transitions
|
|
|
|
self.transitions = nil
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
|
2016-12-23 04:22:04 +00:00
|
|
|
if self:getCursorBlink() then
|
|
|
|
self.device.setCursorBlink(false)
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
|
2016-12-23 04:22:04 +00:00
|
|
|
if transitions then
|
|
|
|
self:runTransitions(transitions, self.canvas)
|
|
|
|
else
|
|
|
|
self.canvas:render(self.device)
|
2016-12-18 19:38:48 +00:00
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
if self:getCursorBlink() then
|
|
|
|
self.device.setCursorPos(self.cursorX, self.cursorY)
|
2017-10-03 04:50:54 +00:00
|
|
|
self.device.setCursorBlink(true)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- StringBuffer --]]--
|
2017-10-01 00:35:36 +00:00
|
|
|
-- justs optimizes string concatenations
|
2016-12-11 19:24:52 +00:00
|
|
|
UI.StringBuffer = class()
|
|
|
|
function UI.StringBuffer:init(bufSize)
|
|
|
|
self.bufSize = bufSize
|
|
|
|
self.buffer = {}
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StringBuffer:insert(s, width)
|
2017-09-30 02:30:01 +00:00
|
|
|
local len = #tostring(s or '')
|
2016-12-11 19:24:52 +00:00
|
|
|
if len > width then
|
2017-10-06 07:07:24 +00:00
|
|
|
s = _sub(s, 1, width)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
table.insert(self.buffer, s)
|
|
|
|
if len < width then
|
2017-10-06 07:07:24 +00:00
|
|
|
table.insert(self.buffer, _rep(' ', width - len))
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StringBuffer:get(sep)
|
|
|
|
return Util.widthify(table.concat(self.buffer, sep or ''), self.bufSize)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StringBuffer:clear()
|
|
|
|
self.buffer = { }
|
|
|
|
end
|
|
|
|
|
2017-10-01 00:35:36 +00:00
|
|
|
-- For manipulating text in a fixed width string
|
2017-09-28 22:52:57 +00:00
|
|
|
local SB = { }
|
|
|
|
function SB:new(width)
|
|
|
|
return setmetatable({
|
|
|
|
width = width,
|
2017-10-06 07:07:24 +00:00
|
|
|
buf = _rep(' ', width)
|
2017-09-28 22:52:57 +00:00
|
|
|
}, { __index = SB })
|
|
|
|
end
|
|
|
|
function SB:insert(x, str, width)
|
|
|
|
if x < 1 then
|
|
|
|
x = self.width + x + 1
|
|
|
|
end
|
|
|
|
width = width or #str
|
|
|
|
if x + width - 1 > self.width then
|
|
|
|
width = self.width - x
|
|
|
|
end
|
|
|
|
if width > 0 then
|
2017-10-06 07:07:24 +00:00
|
|
|
self.buf = _sub(self.buf, 1, x - 1) .. _sub(str, 1, width) .. _sub(self.buf, x + width)
|
2017-09-28 22:52:57 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
function SB:fill(x, ch, width)
|
|
|
|
width = width or self.width - x + 1
|
2017-10-06 07:07:24 +00:00
|
|
|
self:insert(x, _rep(ch, width))
|
2017-09-28 22:52:57 +00:00
|
|
|
end
|
|
|
|
function SB:center(str)
|
|
|
|
self:insert(math.max(1, math.ceil((self.width - #str + 1) / 2)), str)
|
|
|
|
end
|
|
|
|
function SB:get()
|
|
|
|
return self.buf
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- Page (focus manager) --]]--
|
|
|
|
UI.Page = class(UI.Window)
|
|
|
|
UI.Page.defaults = {
|
|
|
|
UIElement = 'Page',
|
|
|
|
accelerators = {
|
|
|
|
down = 'focus_next',
|
|
|
|
enter = 'focus_next',
|
|
|
|
tab = 'focus_next',
|
2017-10-15 23:55:05 +00:00
|
|
|
['shift-tab' ] = 'focus_prev',
|
2016-12-11 19:24:52 +00:00
|
|
|
up = 'focus_prev',
|
|
|
|
},
|
2017-09-28 22:52:57 +00:00
|
|
|
backgroundColor = colors.cyan,
|
2016-12-11 19:24:52 +00:00
|
|
|
textColor = colors.white,
|
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Page:postInit()
|
|
|
|
self.parent = self.parent or UI.defaultDevice
|
|
|
|
end
|
2016-12-23 04:22:04 +00:00
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Page:setParent()
|
|
|
|
UI.Window.setParent(self)
|
2016-12-23 04:22:04 +00:00
|
|
|
if self.z then
|
2017-10-11 15:37:52 +00:00
|
|
|
self.canvas = self:addLayer(self.backgroundColor, self.textColor)
|
2016-12-23 04:22:04 +00:00
|
|
|
else
|
|
|
|
self.canvas = self.parent.canvas
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Page:enable()
|
2016-12-23 04:22:04 +00:00
|
|
|
self.canvas.visible = true
|
2016-12-11 19:24:52 +00:00
|
|
|
UI.Window.enable(self)
|
|
|
|
|
|
|
|
if not self.focused or not self.focused.enabled then
|
|
|
|
self:focusFirst()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-23 04:22:04 +00:00
|
|
|
function UI.Page:disable()
|
|
|
|
if self.z then
|
|
|
|
self.canvas.visible = false
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Page:getFocused()
|
|
|
|
return self.focused
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Page:focusPrevious()
|
|
|
|
local function getPreviousFocus(focused)
|
|
|
|
local focusables = self:getFocusables()
|
2017-10-18 23:51:55 +00:00
|
|
|
local k = Util.contains(focusables, focused)
|
|
|
|
if k then
|
|
|
|
if k > 1 then
|
|
|
|
return focusables[k - 1]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
return focusables[#focusables]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
local focused = getPreviousFocus(self.focused)
|
|
|
|
if focused then
|
|
|
|
self:setFocus(focused)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Page:focusNext()
|
|
|
|
local function getNextFocus(focused)
|
|
|
|
local focusables = self:getFocusables()
|
2017-10-18 23:51:55 +00:00
|
|
|
local k = Util.contains(focusables, focused)
|
|
|
|
if k then
|
|
|
|
if k < #focusables then
|
|
|
|
return focusables[k + 1]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
return focusables[1]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
local focused = getNextFocus(self.focused)
|
|
|
|
if focused then
|
|
|
|
self:setFocus(focused)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Page:setFocus(child)
|
|
|
|
if not child.focus then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
if self.focused and self.focused ~= child then
|
|
|
|
self.focused.focused = false
|
|
|
|
self.focused:focus()
|
|
|
|
self.focused:emit({ type = 'focus_lost', focused = child })
|
|
|
|
end
|
|
|
|
|
|
|
|
self.focused = child
|
|
|
|
if not child.focused then
|
|
|
|
child.focused = true
|
|
|
|
self:emit({ type = 'focus_change', focused = child })
|
|
|
|
end
|
|
|
|
|
|
|
|
child:focus()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Page:eventHandler(event)
|
|
|
|
if self.focused then
|
|
|
|
if event.type == 'focus_next' then
|
|
|
|
self:focusNext()
|
|
|
|
return true
|
|
|
|
elseif event.type == 'focus_prev' then
|
|
|
|
self:focusPrevious()
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Grid --]]--
|
|
|
|
UI.Grid = class(UI.Window)
|
|
|
|
UI.Grid.defaults = {
|
|
|
|
UIElement = 'Grid',
|
|
|
|
index = 1,
|
|
|
|
inverseSort = false,
|
|
|
|
disableHeader = false,
|
2017-10-08 03:03:18 +00:00
|
|
|
marginRight = 0,
|
2016-12-11 19:24:52 +00:00
|
|
|
textColor = colors.white,
|
|
|
|
textSelectedColor = colors.white,
|
|
|
|
backgroundColor = colors.black,
|
|
|
|
backgroundSelectedColor = colors.gray,
|
2017-09-26 02:49:44 +00:00
|
|
|
headerBackgroundColor = colors.cyan,
|
2016-12-11 19:24:52 +00:00
|
|
|
headerTextColor = colors.white,
|
|
|
|
unfocusedTextSelectedColor = colors.white,
|
|
|
|
unfocusedBackgroundSelectedColor = colors.gray,
|
|
|
|
focusIndicator = '>',
|
2016-12-23 04:22:04 +00:00
|
|
|
sortIndicator = ' ',
|
|
|
|
inverseSortIndicator = '^',
|
2016-12-11 19:24:52 +00:00
|
|
|
values = { },
|
|
|
|
columns = { },
|
2017-05-12 05:12:58 +00:00
|
|
|
accelerators = {
|
|
|
|
enter = 'key_enter',
|
|
|
|
[ 'control-c' ] = 'copy',
|
|
|
|
down = 'scroll_down',
|
|
|
|
up = 'scroll_up',
|
|
|
|
home = 'scroll_top',
|
|
|
|
[ 'end' ] = 'scroll_bottom',
|
|
|
|
pageUp = 'scroll_pageUp',
|
|
|
|
[ 'control-b' ] = 'scroll_pageUp',
|
|
|
|
pageDown = 'scroll_pageDown',
|
|
|
|
[ 'control-f' ] = 'scroll_pageDown',
|
|
|
|
},
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Grid:setParent()
|
|
|
|
UI.Window.setParent(self)
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
for _,c in pairs(self.columns) do
|
|
|
|
c.cw = c.width
|
|
|
|
if not c.heading then
|
|
|
|
c.heading = ''
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
self:update()
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
if not self.pageSize then
|
|
|
|
if self.disableHeader then
|
|
|
|
self.pageSize = self.height
|
|
|
|
else
|
|
|
|
self.pageSize = self.height - 1
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-04-22 06:30:41 +00:00
|
|
|
function UI.Grid:resize()
|
|
|
|
UI.Window.resize(self)
|
|
|
|
|
|
|
|
if self.disableHeader then
|
|
|
|
self.pageSize = self.height
|
|
|
|
else
|
|
|
|
self.pageSize = self.height - 1
|
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
self:adjustWidth()
|
2017-04-22 06:30:41 +00:00
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Grid:adjustWidth()
|
2017-09-30 02:30:01 +00:00
|
|
|
local t = { } -- cols without width
|
2017-10-08 21:45:01 +00:00
|
|
|
local w = self.width - #self.columns - 1 - self.marginRight -- width remaining
|
2017-09-30 02:30:01 +00:00
|
|
|
|
|
|
|
for _,c in pairs(self.columns) do
|
|
|
|
if c.width then
|
|
|
|
c.cw = c.width
|
|
|
|
w = w - c.cw
|
|
|
|
else
|
|
|
|
table.insert(t, c)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
if #t == 0 then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
if #t == 1 then
|
|
|
|
t[1].cw = #(t[1].heading or '')
|
|
|
|
t[1].cw = math.max(t[1].cw, w)
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
if not self.autospace then
|
|
|
|
for k,c in ipairs(t) do
|
|
|
|
c.cw = math.floor(w / (#t - k + 1))
|
|
|
|
w = w - c.cw
|
|
|
|
end
|
|
|
|
|
|
|
|
else
|
2017-10-07 04:27:41 +00:00
|
|
|
for _,c in ipairs(t) do
|
2017-10-01 00:35:36 +00:00
|
|
|
c.cw = #(c.heading or '')
|
2017-09-30 02:30:01 +00:00
|
|
|
w = w - c.cw
|
|
|
|
end
|
|
|
|
-- adjust the size to the length of the value
|
|
|
|
for key,row in pairs(self.values) do
|
2017-10-01 00:35:36 +00:00
|
|
|
if w <= 0 then
|
|
|
|
break
|
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
row = self:getDisplayValues(row, key)
|
|
|
|
for _,col in pairs(t) do
|
2016-12-11 19:24:52 +00:00
|
|
|
local value = row[col.key]
|
|
|
|
if value then
|
|
|
|
value = tostring(value)
|
2017-09-30 02:30:01 +00:00
|
|
|
if #value > col.cw then
|
|
|
|
w = w + col.cw
|
|
|
|
col.cw = math.min(#value, w)
|
|
|
|
w = w - col.cw
|
|
|
|
if w <= 0 then
|
|
|
|
break
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
-- last column does not get padding (right alignment)
|
|
|
|
if not self.columns[#self.columns].width then
|
|
|
|
Util.removeByValue(t, self.columns[#self.columns])
|
|
|
|
end
|
|
|
|
|
|
|
|
-- got some extra room - add some padding
|
|
|
|
if w > 0 then
|
|
|
|
for k,c in ipairs(t) do
|
|
|
|
local padding = math.floor(w / (#t - k + 1))
|
|
|
|
c.cw = c.cw + padding
|
|
|
|
w = w - padding
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setPageSize(pageSize)
|
|
|
|
self.pageSize = pageSize
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getValues()
|
|
|
|
return self.values
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setValues(t)
|
|
|
|
self.values = t
|
|
|
|
self:update()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setInverseSort(inverseSort)
|
|
|
|
self.inverseSort = inverseSort
|
|
|
|
self:update()
|
|
|
|
self:setIndex(self.index)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setSortColumn(column)
|
|
|
|
self.sortColumn = column
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getDisplayValues(row, key)
|
|
|
|
return row
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getSelected()
|
|
|
|
if self.sorted then
|
2016-12-27 03:26:43 +00:00
|
|
|
return self.values[self.sorted[self.index]], self.sorted[self.index]
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:focus()
|
|
|
|
self:drawRows()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:draw()
|
|
|
|
if not self.disableHeader then
|
|
|
|
self:drawHeadings()
|
|
|
|
end
|
|
|
|
|
|
|
|
if self.index <= 0 then
|
|
|
|
self:setIndex(1)
|
|
|
|
elseif self.index > #self.sorted then
|
|
|
|
self:setIndex(#self.sorted)
|
|
|
|
end
|
|
|
|
self:drawRows()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Something about the displayed table has changed
|
|
|
|
-- resort the table
|
|
|
|
function UI.Grid:update()
|
|
|
|
local function sort(a, b)
|
|
|
|
if not a[self.sortColumn] then
|
|
|
|
return false
|
|
|
|
elseif not b[self.sortColumn] then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
return self:sortCompare(a, b)
|
|
|
|
end
|
|
|
|
|
|
|
|
local function inverseSort(a, b)
|
|
|
|
return not sort(a, b)
|
|
|
|
end
|
|
|
|
|
|
|
|
local order
|
|
|
|
if self.sortColumn then
|
|
|
|
order = sort
|
|
|
|
if self.inverseSort then
|
|
|
|
order = inverseSort
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
self.sorted = Util.keys(self.values)
|
|
|
|
if order then
|
|
|
|
table.sort(self.sorted, function(a,b)
|
|
|
|
return order(self.values[a], self.values[b])
|
|
|
|
end)
|
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
|
|
|
|
self:adjustWidth()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:drawHeadings()
|
|
|
|
local sb = UI.StringBuffer(self.width)
|
|
|
|
for _,col in ipairs(self.columns) do
|
|
|
|
local ind = ' '
|
2016-12-23 04:22:04 +00:00
|
|
|
if col.key == self.sortColumn then
|
|
|
|
if self.inverseSort then
|
|
|
|
ind = self.inverseSortIndicator
|
|
|
|
else
|
|
|
|
ind = self.sortIndicator
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
sb:insert(ind .. col.heading, col.cw + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
self:write(1, 1, sb:get(), self.headerBackgroundColor, self.headerTextColor)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:sortCompare(a, b)
|
2017-10-07 04:27:41 +00:00
|
|
|
a = safeValue(a[self.sortColumn])
|
|
|
|
b = safeValue(b[self.sortColumn])
|
2016-12-11 19:24:52 +00:00
|
|
|
if type(a) == type(b) then
|
|
|
|
return a < b
|
|
|
|
end
|
|
|
|
return tostring(a) < tostring(b)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:drawRows()
|
|
|
|
local y = 1
|
|
|
|
local startRow = math.max(1, self:getStartRow())
|
|
|
|
local sb = UI.StringBuffer(self.width)
|
|
|
|
|
|
|
|
if not self.disableHeader then
|
|
|
|
y = y + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
local lastRow = math.min(startRow + self.pageSize - 1, #self.sorted)
|
|
|
|
for index = startRow, lastRow do
|
|
|
|
|
|
|
|
local sindex = self.sorted[index]
|
|
|
|
local row = self.values[sindex]
|
|
|
|
local key = sindex
|
|
|
|
row = self:getDisplayValues(row, key)
|
|
|
|
|
|
|
|
sb:clear()
|
|
|
|
|
|
|
|
local ind = ' '
|
2017-10-07 04:27:41 +00:00
|
|
|
if self.focused and index == self.index and not self.inactive then
|
2016-12-11 19:24:52 +00:00
|
|
|
ind = self.focusIndicator
|
|
|
|
end
|
|
|
|
|
|
|
|
for _,col in pairs(self.columns) do
|
2017-09-30 02:30:01 +00:00
|
|
|
sb:insert(ind .. safeValue(row[col.key] or ''), col.cw + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
ind = ' '
|
|
|
|
end
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
local selected = index == self.index and not self.inactive
|
2016-12-11 19:24:52 +00:00
|
|
|
|
|
|
|
self:write(1, y, sb:get(),
|
|
|
|
self:getRowBackgroundColor(row, selected),
|
|
|
|
self:getRowTextColor(row, selected))
|
|
|
|
|
|
|
|
y = y + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
if y <= self.height then
|
|
|
|
self:clearArea(1, y, self.width, self.height - y + 1)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getRowTextColor(row, selected)
|
|
|
|
if selected then
|
|
|
|
if self.focused then
|
|
|
|
return self.textSelectedColor
|
|
|
|
end
|
|
|
|
return self.unfocusedTextSelectedColor
|
|
|
|
end
|
|
|
|
return self.textColor
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getRowBackgroundColor(row, selected)
|
|
|
|
if selected then
|
|
|
|
if self.focused then
|
|
|
|
return self.backgroundSelectedColor
|
|
|
|
end
|
|
|
|
return self.unfocusedBackgroundSelectedColor
|
|
|
|
end
|
|
|
|
return self.backgroundColor
|
|
|
|
end
|
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
function UI.Grid:getIndex()
|
2016-12-11 19:24:52 +00:00
|
|
|
return self.index
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setIndex(index)
|
|
|
|
index = math.max(1, index)
|
|
|
|
self.index = math.min(index, #self.sorted)
|
|
|
|
|
|
|
|
local selected = self:getSelected()
|
|
|
|
if selected ~= self.selected then
|
|
|
|
self:drawRows()
|
|
|
|
self.selected = selected
|
|
|
|
if selected then
|
2017-10-18 02:30:23 +00:00
|
|
|
self:emit({ type = 'grid_focus_row', selected = selected, element = self })
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getStartRow()
|
|
|
|
return math.floor((self.index - 1) / self.pageSize) * self.pageSize + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getPage()
|
|
|
|
return math.floor(self.index / self.pageSize) + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:getPageCount()
|
|
|
|
local tableSize = Util.size(self.values)
|
|
|
|
local pc = math.floor(tableSize / self.pageSize)
|
|
|
|
if tableSize % self.pageSize > 0 then
|
|
|
|
pc = pc + 1
|
|
|
|
end
|
|
|
|
return pc
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:nextPage()
|
|
|
|
self:setPage(self:getPage() + 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:previousPage()
|
|
|
|
self:setPage(self:getPage() - 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:setPage(pageNo)
|
|
|
|
-- 1 based paging
|
|
|
|
self:setIndex((pageNo-1) * self.pageSize + 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Grid:eventHandler(event)
|
|
|
|
if event.type == 'mouse_click' or event.type == 'mouse_doubleclick' then
|
|
|
|
if not self.disableHeader then
|
|
|
|
if event.y == 1 then
|
|
|
|
local col = 2
|
|
|
|
for _,c in ipairs(self.columns) do
|
2017-09-30 02:30:01 +00:00
|
|
|
if event.x < col + c.cw then
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.sortColumn == c.key then
|
|
|
|
self:setInverseSort(not self.inverseSort)
|
|
|
|
else
|
|
|
|
self.sortColumn = c.key
|
|
|
|
self:setInverseSort(false)
|
|
|
|
end
|
|
|
|
self:draw()
|
|
|
|
break
|
|
|
|
end
|
2017-09-30 02:30:01 +00:00
|
|
|
col = col + c.cw + 1
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
local row = self:getStartRow() + event.y - 1
|
|
|
|
if not self.disableHeader then
|
|
|
|
row = row - 1
|
|
|
|
end
|
|
|
|
if row > 0 and row <= Util.size(self.values) then
|
|
|
|
self:setIndex(row)
|
|
|
|
if event.type == 'mouse_doubleclick' then
|
2017-05-12 05:12:58 +00:00
|
|
|
self:emit({ type = 'key_enter' })
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
2017-05-12 05:12:58 +00:00
|
|
|
return false
|
|
|
|
|
|
|
|
elseif event.type == 'scroll_down' then
|
|
|
|
self:setIndex(self.index + 1)
|
|
|
|
elseif event.type == 'scroll_up' then
|
|
|
|
self:setIndex(self.index - 1)
|
|
|
|
elseif event.type == 'scroll_top' then
|
|
|
|
self:setIndex(1)
|
|
|
|
elseif event.type == 'scroll_bottom' then
|
|
|
|
self:setIndex(Util.size(self.values))
|
|
|
|
elseif event.type == 'scroll_pageUp' then
|
|
|
|
self:setIndex(self.index - self.pageSize)
|
|
|
|
elseif event.type == 'scroll_pageDown' then
|
|
|
|
self:setIndex(self.index + self.pageSize)
|
|
|
|
elseif event.type == 'key_enter' then
|
|
|
|
if self.selected then
|
2017-10-18 02:30:23 +00:00
|
|
|
self:emit({ type = 'grid_select', selected = self.selected, element = self })
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-05-12 05:12:58 +00:00
|
|
|
elseif event.type == 'copy' then
|
|
|
|
if self.selected then
|
2017-10-15 06:36:54 +00:00
|
|
|
os.queueEvent('clipboard_copy', self.selected)
|
2017-05-12 05:12:58 +00:00
|
|
|
end
|
|
|
|
else
|
|
|
|
return false
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-05-12 05:12:58 +00:00
|
|
|
return true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- ScrollingGrid --]]--
|
|
|
|
UI.ScrollingGrid = class(UI.Grid)
|
|
|
|
UI.ScrollingGrid.defaults = {
|
|
|
|
UIElement = 'ScrollingGrid',
|
2017-10-08 03:03:18 +00:00
|
|
|
scrollOffset = 0,
|
|
|
|
marginRight = 1,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.ScrollingGrid:postInit()
|
2017-10-08 03:03:18 +00:00
|
|
|
self.scrollBar = UI.ScrollBar()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.ScrollingGrid:drawRows()
|
|
|
|
UI.Grid.drawRows(self)
|
2017-10-08 03:03:18 +00:00
|
|
|
self.scrollBar:draw()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
function UI.ScrollingGrid:getViewArea()
|
|
|
|
local y = 1
|
|
|
|
if not self.disableHeader then
|
|
|
|
y = 2
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-08 03:03:18 +00:00
|
|
|
return {
|
|
|
|
static = true, -- the container doesn't scroll
|
|
|
|
y = y, -- scrollbar Y
|
|
|
|
height = self.pageSize, -- viewable height
|
|
|
|
totalHeight = Util.size(self.values), -- total height
|
|
|
|
offsetY = self.scrollOffset, -- scroll offset
|
|
|
|
}
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.ScrollingGrid:getStartRow()
|
|
|
|
local ts = Util.size(self.values)
|
|
|
|
if ts < self.pageSize then
|
2017-10-08 03:03:18 +00:00
|
|
|
self.scrollOffset = 0
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-08 03:03:18 +00:00
|
|
|
return self.scrollOffset + 1
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.ScrollingGrid:setIndex(index)
|
2017-10-08 03:03:18 +00:00
|
|
|
if index < self.scrollOffset + 1 then
|
|
|
|
self.scrollOffset = index - 1
|
|
|
|
elseif index - self.scrollOffset > self.pageSize then
|
|
|
|
self.scrollOffset = index - self.pageSize
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
if self.scrollOffset < 0 then
|
|
|
|
self.scrollOffset = 0
|
2016-12-11 19:24:52 +00:00
|
|
|
else
|
|
|
|
local ts = Util.size(self.values)
|
2017-10-08 03:03:18 +00:00
|
|
|
if self.pageSize + self.scrollOffset + 1 > ts then
|
|
|
|
self.scrollOffset = math.max(0, ts - self.pageSize)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
UI.Grid.setIndex(self, index)
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Menu --]]--
|
|
|
|
UI.Menu = class(UI.Grid)
|
|
|
|
UI.Menu.defaults = {
|
|
|
|
UIElement = 'Menu',
|
|
|
|
disableHeader = true,
|
|
|
|
columns = { { heading = 'Prompt', key = 'prompt', width = 20 } },
|
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Menu:postInit()
|
|
|
|
self.values = self.menuItems
|
|
|
|
self.pageSize = #self.menuItems
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Menu:setParent()
|
|
|
|
UI.Grid.setParent(self)
|
|
|
|
self.itemWidth = 1
|
|
|
|
for _,v in pairs(self.values) do
|
|
|
|
if #v.prompt > self.itemWidth then
|
|
|
|
self.itemWidth = #v.prompt
|
|
|
|
end
|
|
|
|
end
|
|
|
|
self.columns[1].width = self.itemWidth
|
|
|
|
|
|
|
|
if self.centered then
|
|
|
|
self:center()
|
|
|
|
else
|
|
|
|
self.width = self.itemWidth + 2
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Menu:center()
|
|
|
|
self.x = (self.width - self.itemWidth + 2) / 2
|
|
|
|
self.width = self.itemWidth + 2
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Menu:eventHandler(event)
|
|
|
|
if event.type == 'key' then
|
|
|
|
if event.key == 'enter' then
|
|
|
|
local selected = self.menuItems[self.index]
|
|
|
|
self:emit({
|
|
|
|
type = selected.event or 'menu_select',
|
|
|
|
selected = selected
|
|
|
|
})
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
elseif event.type == 'mouse_click' then
|
|
|
|
if event.y <= #self.menuItems then
|
|
|
|
UI.Grid.setIndex(self, event.y)
|
|
|
|
local selected = self.menuItems[self.index]
|
|
|
|
self:emit({
|
|
|
|
type = selected.event or 'menu_select',
|
|
|
|
selected = selected
|
|
|
|
})
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return UI.Grid.eventHandler(self, event)
|
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
--[[-- Viewport --]]--
|
|
|
|
UI.Viewport = class(UI.Window)
|
|
|
|
UI.Viewport.defaults = {
|
|
|
|
UIElement = 'Viewport',
|
2017-09-26 02:49:44 +00:00
|
|
|
backgroundColor = colors.cyan,
|
2016-12-11 19:24:52 +00:00
|
|
|
accelerators = {
|
|
|
|
down = 'scroll_down',
|
|
|
|
up = 'scroll_up',
|
|
|
|
home = 'scroll_top',
|
|
|
|
[ 'end' ] = 'scroll_bottom',
|
|
|
|
pageUp = 'scroll_pageUp',
|
|
|
|
[ 'control-b' ] = 'scroll_pageUp',
|
|
|
|
pageDown = 'scroll_pageDown',
|
|
|
|
[ 'control-f' ] = 'scroll_pageDown',
|
|
|
|
},
|
|
|
|
}
|
2017-10-08 03:03:18 +00:00
|
|
|
function UI.Viewport:setScrollPosition(offset)
|
2016-12-11 19:24:52 +00:00
|
|
|
local oldOffset = self.offy
|
|
|
|
self.offy = math.max(offset, 0)
|
2016-12-11 21:36:36 +00:00
|
|
|
local max = self.ymax or self.height
|
|
|
|
if self.children then
|
|
|
|
for _, child in ipairs(self.children) do
|
2017-10-08 03:03:18 +00:00
|
|
|
if child ~= self.scrollBar then -- hack !
|
|
|
|
max = math.max(child.y + child.height - 1, max)
|
|
|
|
end
|
2016-12-11 21:36:36 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
self.offy = math.min(self.offy, math.max(max, self.height) - self.height)
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.offy ~= oldOffset then
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
function UI.Viewport:reset()
|
2016-12-14 17:36:28 +00:00
|
|
|
self.offy = 0
|
|
|
|
end
|
|
|
|
|
2017-10-08 03:03:18 +00:00
|
|
|
function UI.Viewport:getViewArea()
|
|
|
|
return {
|
|
|
|
y = (self.offy or 0) + 1,
|
|
|
|
height = self.height,
|
|
|
|
totalHeight = self.ymax,
|
|
|
|
offsetY = self.offy or 0,
|
|
|
|
}
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Viewport:eventHandler(event)
|
2016-12-11 19:24:52 +00:00
|
|
|
if event.type == 'scroll_down' then
|
|
|
|
self:setScrollPosition(self.offy + 1)
|
|
|
|
elseif event.type == 'scroll_up' then
|
|
|
|
self:setScrollPosition(self.offy - 1)
|
|
|
|
elseif event.type == 'scroll_top' then
|
|
|
|
self:setScrollPosition(0)
|
|
|
|
elseif event.type == 'scroll_bottom' then
|
|
|
|
self:setScrollPosition(10000000)
|
|
|
|
elseif event.type == 'scroll_pageUp' then
|
|
|
|
self:setScrollPosition(self.offy - self.height)
|
|
|
|
elseif event.type == 'scroll_pageDown' then
|
|
|
|
self:setScrollPosition(self.offy + self.height)
|
|
|
|
else
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
2017-10-07 04:27:41 +00:00
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- TitleBar --]]--
|
|
|
|
UI.TitleBar = class(UI.Window)
|
|
|
|
UI.TitleBar.defaults = {
|
|
|
|
UIElement = 'TitleBar',
|
|
|
|
height = 1,
|
2017-10-06 07:07:24 +00:00
|
|
|
textColor = colors.white,
|
|
|
|
backgroundColor = colors.cyan,
|
2017-09-28 22:52:57 +00:00
|
|
|
title = '',
|
|
|
|
frameChar = '-',
|
|
|
|
closeInd = '*',
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
|
|
|
function UI.TitleBar:draw()
|
2017-09-28 22:52:57 +00:00
|
|
|
local sb = SB:new(self.width)
|
|
|
|
sb:fill(2, self.frameChar, sb.width - 3)
|
|
|
|
sb:center(string.format(' %s ', self.title))
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.previousPage or self.event then
|
2017-09-28 22:52:57 +00:00
|
|
|
sb:insert(-1, self.closeInd)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-09-28 22:52:57 +00:00
|
|
|
self:write(1, 1, sb:get())
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TitleBar:eventHandler(event)
|
|
|
|
if event.type == 'mouse_click' then
|
|
|
|
if (self.previousPage or self.event) and event.x == self.width then
|
|
|
|
if self.event then
|
|
|
|
self:emit({ type = self.event, element = self })
|
|
|
|
elseif type(self.previousPage) == 'string' or
|
|
|
|
type(self.previousPage) == 'table' then
|
|
|
|
UI:setPage(self.previousPage)
|
|
|
|
else
|
|
|
|
UI:setPreviousPage()
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
--[[-- Button --]]--
|
|
|
|
UI.Button = class(UI.Window)
|
|
|
|
UI.Button.defaults = {
|
|
|
|
UIElement = 'Button',
|
|
|
|
text = 'button',
|
|
|
|
backgroundColor = colors.gray,
|
|
|
|
backgroundFocusColor = colors.lightGray,
|
|
|
|
textFocusColor = colors.white,
|
|
|
|
textInactiveColor = colors.gray,
|
|
|
|
textColor = colors.white,
|
|
|
|
centered = true,
|
|
|
|
height = 1,
|
|
|
|
focusIndicator = ' ',
|
|
|
|
event = 'button_press',
|
|
|
|
accelerators = {
|
|
|
|
space = 'button_activate',
|
|
|
|
enter = 'button_activate',
|
|
|
|
mouse_click = 'button_activate',
|
|
|
|
}
|
|
|
|
}
|
|
|
|
function UI.Button:setParent()
|
|
|
|
if not self.width and not self.ex then
|
|
|
|
self.width = #self.text + 2
|
|
|
|
end
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Button:draw()
|
|
|
|
local fg = self.textColor
|
|
|
|
local bg = self.backgroundColor
|
|
|
|
local ind = ' '
|
|
|
|
if self.focused then
|
|
|
|
bg = self.backgroundFocusColor
|
|
|
|
fg = self.textFocusColor
|
|
|
|
ind = self.focusIndicator
|
|
|
|
elseif self.inactive then
|
|
|
|
fg = self.textInactiveColor
|
|
|
|
end
|
|
|
|
local text = ind .. self.text .. ' '
|
|
|
|
if self.centered then
|
|
|
|
self:clear(bg)
|
|
|
|
self:centeredWrite(1 + math.floor(self.height / 2), text, bg, fg)
|
|
|
|
else
|
|
|
|
self:write(1, 1, Util.widthify(text, self.width), bg, fg)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Button:focus()
|
|
|
|
if self.focused then
|
|
|
|
self:scrollIntoView()
|
|
|
|
end
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Button:eventHandler(event)
|
|
|
|
if event.type == 'button_activate' then
|
|
|
|
self:emit({ type = self.event, button = self })
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- MenuItem --]]--
|
|
|
|
UI.MenuItem = class(UI.Button)
|
|
|
|
UI.MenuItem.defaults = {
|
|
|
|
UIElement = 'MenuItem',
|
|
|
|
textColor = colors.black,
|
|
|
|
backgroundColor = colors.lightGray,
|
|
|
|
textFocusColor = colors.white,
|
|
|
|
backgroundFocusColor = colors.lightGray,
|
|
|
|
}
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- MenuBar --]]--
|
|
|
|
UI.MenuBar = class(UI.Window)
|
|
|
|
UI.MenuBar.defaults = {
|
|
|
|
UIElement = 'MenuBar',
|
|
|
|
buttons = { },
|
|
|
|
height = 1,
|
2017-09-26 02:49:44 +00:00
|
|
|
backgroundColor = colors.lightGray,
|
2016-12-11 19:24:52 +00:00
|
|
|
textColor = colors.black,
|
|
|
|
spacing = 2,
|
2017-10-09 04:26:19 +00:00
|
|
|
lastx = 1,
|
2016-12-11 19:24:52 +00:00
|
|
|
showBackButton = false,
|
2017-10-06 17:39:47 +00:00
|
|
|
buttonClass = 'MenuItem',
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-06 17:39:47 +00:00
|
|
|
UI.MenuBar.spacer = { spacer = true, text = 'spacer', inactive = true }
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.MenuBar:postInit()
|
2017-10-09 04:26:19 +00:00
|
|
|
self:addButtons(self.buttons)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-09 04:26:19 +00:00
|
|
|
function UI.MenuBar:addButtons(buttons)
|
2016-12-11 19:24:52 +00:00
|
|
|
if not self.children then
|
|
|
|
self.children = { }
|
|
|
|
end
|
|
|
|
|
2017-10-09 04:26:19 +00:00
|
|
|
for _,button in pairs(buttons) do
|
2016-12-23 04:22:04 +00:00
|
|
|
if button.UIElement then
|
|
|
|
table.insert(self.children, button)
|
2016-12-11 19:24:52 +00:00
|
|
|
else
|
2016-12-23 04:22:04 +00:00
|
|
|
local buttonProperties = {
|
2017-10-09 04:26:19 +00:00
|
|
|
x = self.lastx,
|
2016-12-23 04:22:04 +00:00
|
|
|
width = #button.text + self.spacing,
|
|
|
|
centered = false,
|
|
|
|
}
|
2017-10-09 04:26:19 +00:00
|
|
|
self.lastx = self.lastx + buttonProperties.width
|
2017-10-12 21:58:35 +00:00
|
|
|
UI:mergeProperties(buttonProperties, button)
|
2017-10-06 17:39:47 +00:00
|
|
|
|
2017-10-07 04:27:41 +00:00
|
|
|
button = UI[self.buttonClass](buttonProperties)
|
2016-12-23 04:22:04 +00:00
|
|
|
if button.name then
|
2017-10-07 04:27:41 +00:00
|
|
|
self[button.name] = button
|
2016-12-23 04:22:04 +00:00
|
|
|
else
|
2017-10-07 04:27:41 +00:00
|
|
|
table.insert(self.children, button)
|
|
|
|
end
|
|
|
|
|
|
|
|
if button.dropdown then
|
|
|
|
button.dropmenu = UI.DropMenu { buttons = button.dropdown }
|
2016-12-23 04:22:04 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
2017-10-09 17:08:38 +00:00
|
|
|
if self.parent then
|
|
|
|
self:initChildren()
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
function UI.MenuBar:getActive(menuItem)
|
|
|
|
return not menuItem.inactive
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.MenuBar:eventHandler(event)
|
2017-10-06 17:39:47 +00:00
|
|
|
if event.type == 'button_press' and event.button.dropmenu then
|
|
|
|
if event.button.dropmenu.enabled then
|
|
|
|
event.button.dropmenu:hide()
|
|
|
|
return true
|
|
|
|
else
|
|
|
|
local x, y = getPosition(event.button)
|
|
|
|
if x + event.button.dropmenu.width > self.width then
|
|
|
|
x = self.width - event.button.dropmenu.width + 1
|
|
|
|
end
|
|
|
|
for _,c in pairs(event.button.dropmenu.children) do
|
|
|
|
if not c.spacer then
|
|
|
|
c.inactive = not self:getActive(c)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
2017-10-06 17:39:47 +00:00
|
|
|
event.button.dropmenu:show(x, y + 1)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-06 17:39:47 +00:00
|
|
|
return true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
--[[-- DropMenuItem --]]--
|
|
|
|
UI.DropMenuItem = class(UI.Button)
|
|
|
|
UI.DropMenuItem.defaults = {
|
|
|
|
UIElement = 'DropMenuItem',
|
|
|
|
textColor = colors.black,
|
|
|
|
backgroundColor = colors.white,
|
|
|
|
textFocusColor = colors.black,
|
|
|
|
textInactiveColor = colors.lightGray,
|
|
|
|
backgroundFocusColor = colors.lightGray,
|
|
|
|
}
|
2017-10-09 17:08:38 +00:00
|
|
|
function UI.DropMenuItem:eventHandler(event)
|
|
|
|
if event.type == 'button_activate' then
|
|
|
|
self.parent:hide()
|
|
|
|
end
|
|
|
|
return UI.Button.eventHandler(self, event)
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- DropMenu --]]--
|
|
|
|
UI.DropMenu = class(UI.MenuBar)
|
|
|
|
UI.DropMenu.defaults = {
|
|
|
|
UIElement = 'DropMenu',
|
2017-10-06 17:39:47 +00:00
|
|
|
backgroundColor = colors.white,
|
|
|
|
buttonClass = 'DropMenuItem',
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
|
|
|
function UI.DropMenu:setParent()
|
|
|
|
UI.MenuBar.setParent(self)
|
|
|
|
|
|
|
|
local maxWidth = 1
|
|
|
|
for y,child in ipairs(self.children) do
|
|
|
|
child.x = 1
|
|
|
|
child.y = y
|
2016-12-23 04:22:04 +00:00
|
|
|
if #(child.text or '') > maxWidth then
|
2016-12-11 19:24:52 +00:00
|
|
|
maxWidth = #child.text
|
|
|
|
end
|
|
|
|
end
|
|
|
|
for _,child in ipairs(self.children) do
|
|
|
|
child.width = maxWidth + 2
|
2017-10-06 17:39:47 +00:00
|
|
|
if child.spacer then
|
|
|
|
child.text = string.rep('-', child.width - 2)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
self.height = #self.children + 1
|
2016-12-11 19:24:52 +00:00
|
|
|
self.width = maxWidth + 2
|
|
|
|
self.ow = self.width
|
2017-10-06 17:39:47 +00:00
|
|
|
|
|
|
|
self.canvas = self:addLayer()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.DropMenu:enable()
|
|
|
|
self.enabled = false
|
|
|
|
end
|
|
|
|
|
2017-10-06 17:39:47 +00:00
|
|
|
function UI.DropMenu:show(x, y)
|
|
|
|
self.x, self.y = x, y
|
|
|
|
self.canvas:move(x, y)
|
|
|
|
self.canvas:setVisible(true)
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
self.enabled = true
|
2017-10-18 23:51:55 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-11 19:24:52 +00:00
|
|
|
child:enable()
|
|
|
|
end
|
2017-10-06 17:39:47 +00:00
|
|
|
|
|
|
|
self:focusFirst()
|
2016-12-11 19:24:52 +00:00
|
|
|
self:draw()
|
|
|
|
UI:capture(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.DropMenu:hide()
|
|
|
|
self:disable()
|
2017-10-06 17:39:47 +00:00
|
|
|
self.canvas:setVisible(false)
|
2016-12-11 19:24:52 +00:00
|
|
|
UI:release(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.DropMenu:eventHandler(event)
|
2017-10-07 04:27:41 +00:00
|
|
|
if event.type == 'focus_lost' and self.enabled then
|
2017-10-18 23:51:55 +00:00
|
|
|
if not Util.contains(self.children, event.focused) then
|
|
|
|
self:hide()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-07 04:27:41 +00:00
|
|
|
elseif event.type == 'mouse_out' and self.enabled then
|
2016-12-11 19:24:52 +00:00
|
|
|
self:hide()
|
2017-10-18 23:51:55 +00:00
|
|
|
self:refocus()
|
2016-12-11 19:24:52 +00:00
|
|
|
else
|
|
|
|
return UI.MenuBar.eventHandler(self, event)
|
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
return true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
--[[-- TabBarMenuItem --]]--
|
|
|
|
UI.TabBarMenuItem = class(UI.Button)
|
|
|
|
UI.TabBarMenuItem.defaults = {
|
|
|
|
UIElement = 'TabBarMenuItem',
|
|
|
|
event = 'tab_select',
|
|
|
|
textColor = colors.black,
|
|
|
|
selectedBackgroundColor = colors.cyan,
|
|
|
|
unselectedBackgroundColor = colors.lightGray,
|
|
|
|
backgroundColor = colors.lightGray,
|
|
|
|
}
|
|
|
|
function UI.TabBarMenuItem:draw()
|
|
|
|
if self.selected then
|
|
|
|
self.backgroundColor = self.selectedBackgroundColor
|
|
|
|
self.backgroundFocusColor = self.selectedBackgroundColor
|
|
|
|
else
|
|
|
|
self.backgroundColor = self.unselectedBackgroundColor
|
|
|
|
self.backgroundFocusColor = self.unselectedBackgroundColor
|
|
|
|
end
|
|
|
|
UI.Button.draw(self)
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- TabBar --]]--
|
|
|
|
UI.TabBar = class(UI.MenuBar)
|
|
|
|
UI.TabBar.defaults = {
|
|
|
|
UIElement = 'TabBar',
|
2017-10-18 23:51:55 +00:00
|
|
|
buttonClass = 'TabBarMenuItem',
|
2017-09-26 02:49:44 +00:00
|
|
|
selectedBackgroundColor = colors.cyan,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.TabBar:enable()
|
|
|
|
UI.MenuBar.enable(self)
|
|
|
|
if not Util.find(self.children, 'selected', true) then
|
|
|
|
local menuItem = self:getFocusables()[1]
|
|
|
|
if menuItem then
|
|
|
|
menuItem.selected = true
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TabBar:eventHandler(event)
|
|
|
|
if event.type == 'tab_select' then
|
|
|
|
local selected, si = Util.find(self:getFocusables(), 'uid', event.button.uid)
|
|
|
|
local previous, pi = Util.find(self:getFocusables(), 'selected', true)
|
|
|
|
|
|
|
|
if si ~= pi then
|
|
|
|
selected.selected = true
|
|
|
|
previous.selected = false
|
|
|
|
self:emit({ type = 'tab_change', current = si, last = pi, tab = selected })
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
UI.MenuBar.draw(self)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
return UI.MenuBar.eventHandler(self, event)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TabBar:selectTab(text)
|
|
|
|
local menuItem = Util.find(self.children, 'text', text)
|
|
|
|
if menuItem then
|
|
|
|
menuItem.selected = true
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Tabs --]]--
|
|
|
|
UI.Tabs = class(UI.Window)
|
|
|
|
UI.Tabs.defaults = {
|
|
|
|
UIElement = 'Tabs',
|
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Tabs:postInit()
|
2017-10-09 04:26:19 +00:00
|
|
|
self:add(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Tabs:add(children)
|
2016-12-11 19:24:52 +00:00
|
|
|
local buttons = { }
|
2017-10-09 04:26:19 +00:00
|
|
|
for _,child in pairs(children) do
|
2017-10-11 15:37:52 +00:00
|
|
|
if type(child) == 'table' and child.UIElement and child.tabTitle then
|
2017-10-09 04:26:19 +00:00
|
|
|
child.y = 2
|
2016-12-11 19:24:52 +00:00
|
|
|
table.insert(buttons, {
|
2017-10-11 15:37:52 +00:00
|
|
|
text = child.tabTitle,
|
2017-10-09 04:26:19 +00:00
|
|
|
event = 'tab_select',
|
2017-10-11 15:37:52 +00:00
|
|
|
tabUid = child.uid,
|
2016-12-11 19:24:52 +00:00
|
|
|
})
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-09 04:26:19 +00:00
|
|
|
if not self.tabBar then
|
|
|
|
self.tabBar = UI.TabBar({
|
|
|
|
buttons = buttons,
|
|
|
|
})
|
|
|
|
else
|
|
|
|
self.tabBar:addButtons(buttons)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2017-10-09 04:26:19 +00:00
|
|
|
if self.parent then
|
|
|
|
return UI.Window.add(self, children)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Tabs:enable()
|
|
|
|
self.enabled = true
|
2017-10-11 15:37:52 +00:00
|
|
|
self.tabBar:enable()
|
2017-10-09 04:26:19 +00:00
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
local menuItem = Util.find(self.tabBar.children, 'selected', true)
|
|
|
|
|
|
|
|
for _,child in pairs(self.children) do
|
|
|
|
if child.uid == menuItem.tabUid then
|
|
|
|
child:enable()
|
|
|
|
self:emit({ type = 'tab_activate', activated = child })
|
|
|
|
elseif child.tabTitle then
|
|
|
|
child:disable()
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Tabs:eventHandler(event)
|
|
|
|
if event.type == 'tab_change' then
|
|
|
|
local tab = self:find(event.tab.tabUid)
|
|
|
|
if event.current > event.last then
|
|
|
|
tab:addTransition('slideLeft')
|
|
|
|
else
|
|
|
|
tab:addTransition('slideRight')
|
|
|
|
end
|
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2017-10-18 23:51:55 +00:00
|
|
|
if child.uid == event.tab.tabUid then
|
|
|
|
child:enable()
|
|
|
|
elseif child.tabTitle then
|
2017-10-11 15:37:52 +00:00
|
|
|
child:disable()
|
|
|
|
end
|
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
self:emit({ type = 'tab_activate', activated = tab })
|
|
|
|
tab:draw()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
--[[-- Wizard --]]--
|
|
|
|
UI.Wizard = class(UI.Window)
|
|
|
|
UI.Wizard.defaults = {
|
|
|
|
UIElement = 'Wizard',
|
|
|
|
pages = { },
|
|
|
|
}
|
|
|
|
function UI.Wizard:postInit()
|
|
|
|
self.cancelButton = UI.Button {
|
|
|
|
x = 2, y = -1,
|
|
|
|
text = 'Cancel',
|
|
|
|
event = 'cancel',
|
|
|
|
}
|
|
|
|
self.previousButton = UI.Button {
|
|
|
|
x = -18, y = -1,
|
|
|
|
text = '< Back',
|
|
|
|
event = 'previousView',
|
|
|
|
}
|
|
|
|
self.nextButton = UI.Button {
|
|
|
|
x = -9, y = -1,
|
|
|
|
text = 'Next >',
|
|
|
|
event = 'nextView',
|
|
|
|
}
|
|
|
|
|
|
|
|
Util.merge(self, self.pages)
|
|
|
|
for _, child in pairs(self.pages) do
|
|
|
|
child.ey = -2
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Wizard:enable()
|
2016-12-14 17:36:28 +00:00
|
|
|
self.enabled = true
|
2017-10-18 23:51:55 +00:00
|
|
|
for _,child in ipairs(self.children) do
|
|
|
|
if not child.index then
|
|
|
|
child:enable()
|
|
|
|
elseif child.index == 1 then
|
|
|
|
child:enable()
|
|
|
|
else
|
|
|
|
child:disable()
|
2017-10-18 02:30:23 +00:00
|
|
|
end
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2017-10-18 23:51:55 +00:00
|
|
|
self:emit({ type = 'enable_view', view = Util.find(self.pages, 'index', 1) })
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Wizard:nextView()
|
|
|
|
local currentView = Util.find(self.pages, 'enabled', true)
|
|
|
|
local nextView = Util.find(self.pages, 'index', currentView.index + 1)
|
|
|
|
|
|
|
|
if nextView then
|
|
|
|
self:addTransition('slideLeft')
|
|
|
|
currentView:disable()
|
|
|
|
nextView:enable()
|
|
|
|
self:emit({ type = 'enable_view', view = nextView })
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-10-18 23:51:55 +00:00
|
|
|
function UI.Wizard:prevView()
|
|
|
|
local currentView = Util.find(self.pages, 'enabled', true)
|
|
|
|
local nextView = Util.find(self.pages, 'index', currentView.index - 1)
|
|
|
|
|
|
|
|
if nextView then
|
|
|
|
self:addTransition('slideRight')
|
|
|
|
currentView:disable()
|
|
|
|
nextView:enable()
|
|
|
|
self:emit({ type = 'enable_view', view = nextView })
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Wizard:eventHandler(event)
|
|
|
|
if event.type == 'nextView' then
|
|
|
|
self:nextView()
|
|
|
|
self:draw()
|
|
|
|
|
|
|
|
elseif event.type == 'previousView' then
|
|
|
|
self:prevView()
|
|
|
|
self:draw()
|
|
|
|
|
|
|
|
elseif event.type == 'enable_view' then
|
|
|
|
if Util.find(self.pages, 'index', event.view.index - 1) then
|
|
|
|
self.previousButton:enable()
|
|
|
|
else
|
|
|
|
self.previousButton:disable()
|
|
|
|
end
|
|
|
|
|
|
|
|
if Util.find(self.pages, 'index', event.view.index + 1) then
|
|
|
|
self.nextButton.text = 'Next >'
|
|
|
|
self.nextButton.event = 'nextView'
|
|
|
|
else
|
|
|
|
self.nextButton.text = 'Accept'
|
|
|
|
self.nextButton.event = 'accept'
|
2016-12-14 17:36:28 +00:00
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Notification --]]--
|
|
|
|
UI.Notification = class(UI.Window)
|
|
|
|
UI.Notification.defaults = {
|
|
|
|
UIElement = 'Notification',
|
|
|
|
backgroundColor = colors.gray,
|
2016-12-23 04:22:04 +00:00
|
|
|
height = 3,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
|
|
|
function UI.Notification:draw()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Notification:enable()
|
|
|
|
self.enabled = false
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Notification:error(value, timeout)
|
|
|
|
self.backgroundColor = colors.red
|
|
|
|
self:display(value, timeout)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Notification:info(value, timeout)
|
|
|
|
self.backgroundColor = colors.gray
|
|
|
|
self:display(value, timeout)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Notification:success(value, timeout)
|
|
|
|
self.backgroundColor = colors.green
|
|
|
|
self:display(value, timeout)
|
|
|
|
end
|
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
function UI.Notification:cancel()
|
|
|
|
if self.canvas then
|
|
|
|
Event.cancelNamedTimer('notificationTimer')
|
|
|
|
self.enabled = false
|
|
|
|
self.canvas:removeLayer()
|
|
|
|
self.canvas = nil
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Notification:display(value, timeout)
|
|
|
|
self.enabled = true
|
2016-12-23 04:22:04 +00:00
|
|
|
local lines = Util.wordWrap(value, self.width - 2)
|
|
|
|
self.height = #lines + 1
|
|
|
|
self.y = self.parent.height - self.height + 1
|
|
|
|
if self.canvas then
|
|
|
|
self.canvas:removeLayer()
|
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
|
2017-10-11 15:37:52 +00:00
|
|
|
self.canvas = self:addLayer(self.backgroundColor, self.textColor)
|
2017-10-03 04:50:54 +00:00
|
|
|
self:addTransition('expandUp', { ticks = self.height })
|
2016-12-23 04:22:04 +00:00
|
|
|
self.canvas:setVisible(true)
|
|
|
|
self:clear()
|
|
|
|
for k,v in pairs(lines) do
|
|
|
|
self:write(2, k, v)
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
Event.addNamedTimer('notificationTimer', timeout or 3, false, function()
|
2016-12-27 03:26:43 +00:00
|
|
|
self:cancel()
|
2016-12-23 04:22:04 +00:00
|
|
|
self:sync()
|
2016-12-11 19:24:52 +00:00
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
2017-06-23 06:04:56 +00:00
|
|
|
--[[-- Throttle --]]--
|
|
|
|
UI.Throttle = class(UI.Window)
|
|
|
|
UI.Throttle.defaults = {
|
|
|
|
UIElement = 'Throttle',
|
|
|
|
backgroundColor = colors.gray,
|
|
|
|
height = 6,
|
|
|
|
width = 10,
|
|
|
|
timeout = .095,
|
|
|
|
ctr = 0,
|
|
|
|
image = {
|
|
|
|
' //) (O )~@ &~&-( ?Q ',
|
2017-10-08 03:03:18 +00:00
|
|
|
' //) (O )- @ \\-( ?) && ',
|
|
|
|
' //) (O ), @ \\-(?) && ',
|
|
|
|
' //) (O ). @ \\-d ) (@ '
|
2017-06-23 06:04:56 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
function UI.Throttle:setParent()
|
|
|
|
self.x = math.ceil((self.parent.width - self.width) / 2)
|
|
|
|
self.y = math.ceil((self.parent.height - self.height) / 2)
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Throttle:enable()
|
|
|
|
self.enabled = false
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Throttle:disable()
|
|
|
|
if self.canvas then
|
|
|
|
self.enabled = false
|
|
|
|
self.canvas:removeLayer()
|
|
|
|
self.canvas = nil
|
|
|
|
self.c = nil
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Throttle:update()
|
|
|
|
local cc = os.clock()
|
|
|
|
if not self.c then
|
|
|
|
self.c = cc
|
|
|
|
elseif cc > self.c + self.timeout then
|
|
|
|
os.sleep(0)
|
|
|
|
self.c = os.clock()
|
|
|
|
self.enabled = true
|
|
|
|
if not self.canvas then
|
2017-10-11 15:37:52 +00:00
|
|
|
self.canvas = self:addLayer(self.backgroundColor, colors.cyan)
|
2017-06-23 06:04:56 +00:00
|
|
|
self.canvas:setVisible(true)
|
|
|
|
self:clear(colors.cyan)
|
|
|
|
end
|
|
|
|
local image = self.image[self.ctr + 1]
|
|
|
|
local width = self.width - 2
|
|
|
|
for i = 0, #self.image do
|
|
|
|
self:write(2, i + 2, image:sub(width * i + 1, width * i + width), colors.black, colors.white)
|
|
|
|
end
|
|
|
|
|
|
|
|
self.ctr = (self.ctr + 1) % #self.image
|
|
|
|
|
|
|
|
self:sync()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
--[[-- StatusBar --]]--
|
|
|
|
UI.StatusBar = class(UI.Window)
|
|
|
|
UI.StatusBar.defaults = {
|
|
|
|
UIElement = 'StatusBar',
|
|
|
|
backgroundColor = colors.lightGray,
|
|
|
|
textColor = colors.gray,
|
|
|
|
height = 1,
|
|
|
|
ey = -1,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-09-30 02:30:01 +00:00
|
|
|
function UI.StatusBar:adjustWidth()
|
|
|
|
-- Can only have 1 adjustable width
|
|
|
|
if self.columns then
|
|
|
|
local w = self.width - #self.columns - 1
|
|
|
|
for _,c in pairs(self.columns) do
|
|
|
|
if c.width then
|
|
|
|
c.cw = c.width -- computed width
|
|
|
|
w = w - c.width
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
for _,c in pairs(self.columns) do
|
2017-09-30 02:30:01 +00:00
|
|
|
if not c.width then
|
|
|
|
c.cw = w
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
function UI.StatusBar:resize()
|
|
|
|
UI.Window.resize(self)
|
|
|
|
self:adjustWidth()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:setParent()
|
2017-09-30 02:30:01 +00:00
|
|
|
UI.Window.setParent(self)
|
|
|
|
self:adjustWidth()
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
function UI.StatusBar:setStatus(status)
|
|
|
|
if self.values ~= status then
|
|
|
|
self.values = status
|
2017-04-01 23:21:49 +00:00
|
|
|
self:draw()
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:setValue(name, value)
|
2017-09-30 02:30:01 +00:00
|
|
|
if not self.values then
|
|
|
|
self.values = { }
|
|
|
|
end
|
|
|
|
self.values[name] = value
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:getValue(name)
|
2017-09-30 02:30:01 +00:00
|
|
|
if self.values then
|
|
|
|
return self.values[name]
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:timedStatus(status, timeout)
|
|
|
|
timeout = timeout or 3
|
|
|
|
self:write(2, 1, Util.widthify(status, self.width-2), self.backgroundColor)
|
|
|
|
Event.addNamedTimer('statusTimer', timeout, false, function()
|
|
|
|
if self.parent.enabled then
|
|
|
|
self:draw()
|
|
|
|
self:sync()
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:getColumnWidth(name)
|
2017-10-18 23:51:55 +00:00
|
|
|
local c = Util.find(self.columns, 'key', name)
|
|
|
|
return c and c.cw
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.StatusBar:setColumnWidth(name, width)
|
2017-10-18 23:51:55 +00:00
|
|
|
local c = Util.find(self.columns, 'key', name)
|
|
|
|
if c then
|
|
|
|
c.cw = width
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-09-30 02:30:01 +00:00
|
|
|
function UI.StatusBar:draw()
|
|
|
|
if not self.values then
|
|
|
|
self:clear()
|
|
|
|
elseif type(self.values) == 'string' then
|
|
|
|
self:write(1, 1, Util.widthify(' ' .. self.values, self.width))
|
|
|
|
else
|
|
|
|
local s = ''
|
|
|
|
for _,c in ipairs(self.columns) do
|
|
|
|
s = s .. ' ' .. Util.widthify(tostring(self.values[c.key] or ''), c.cw)
|
|
|
|
end
|
|
|
|
self:write(1, 1, Util.widthify(s, self.width))
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- ProgressBar --]]--
|
|
|
|
UI.ProgressBar = class(UI.Window)
|
|
|
|
UI.ProgressBar.defaults = {
|
|
|
|
UIElement = 'ProgressBar',
|
|
|
|
progressColor = colors.lime,
|
|
|
|
backgroundColor = colors.gray,
|
|
|
|
height = 1,
|
|
|
|
value = 0,
|
|
|
|
}
|
|
|
|
function UI.ProgressBar:draw()
|
2017-10-05 17:07:48 +00:00
|
|
|
self:clear()
|
2016-12-11 19:24:52 +00:00
|
|
|
local width = math.ceil(self.value / 100 * self.width)
|
2017-10-05 17:07:48 +00:00
|
|
|
self:clearArea(1, 1, width, self.height, self.progressColor)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- VerticalMeter --]]--
|
|
|
|
UI.VerticalMeter = class(UI.Window)
|
|
|
|
UI.VerticalMeter.defaults = {
|
|
|
|
UIElement = 'VerticalMeter',
|
2017-10-05 17:07:48 +00:00
|
|
|
backgroundColor = colors.gray,
|
2016-12-11 19:24:52 +00:00
|
|
|
meterColor = colors.lime,
|
2017-10-05 17:07:48 +00:00
|
|
|
width = 1,
|
2016-12-11 19:24:52 +00:00
|
|
|
value = 0,
|
|
|
|
}
|
|
|
|
function UI.VerticalMeter:draw()
|
|
|
|
local height = self.height - math.ceil(self.value / 100 * self.height)
|
2017-10-05 17:07:48 +00:00
|
|
|
self:clear()
|
|
|
|
self:clearArea(1, height + 1, self.width, self.height, self.meterColor)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- TextEntry --]]--
|
|
|
|
UI.TextEntry = class(UI.Window)
|
|
|
|
UI.TextEntry.defaults = {
|
|
|
|
UIElement = 'TextEntry',
|
|
|
|
value = '',
|
|
|
|
shadowText = '',
|
|
|
|
focused = false,
|
2017-09-28 22:52:57 +00:00
|
|
|
textColor = colors.white,
|
|
|
|
backgroundColor = colors.black, -- colors.lightGray,
|
|
|
|
backgroundFocusColor = colors.black, --lightGray,
|
2016-12-11 19:24:52 +00:00
|
|
|
height = 1,
|
|
|
|
limit = 6,
|
|
|
|
pos = 0,
|
2017-05-12 05:12:58 +00:00
|
|
|
accelerators = {
|
|
|
|
[ 'control-c' ] = 'copy',
|
|
|
|
}
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.TextEntry:postInit()
|
2016-12-11 19:24:52 +00:00
|
|
|
self.value = tostring(self.value)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:setValue(value)
|
|
|
|
self.value = value
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:setPosition(pos)
|
|
|
|
self.pos = pos
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:updateScroll()
|
|
|
|
if not self.scroll then
|
|
|
|
self.scroll = 0
|
|
|
|
end
|
|
|
|
|
|
|
|
if not self.pos then
|
|
|
|
self.pos = #tostring(self.value)
|
|
|
|
self.scroll = 0
|
|
|
|
elseif self.pos > #tostring(self.value) then
|
|
|
|
self.pos = #tostring(self.value)
|
|
|
|
self.scroll = 0
|
|
|
|
end
|
|
|
|
|
|
|
|
if self.pos - self.scroll > self.width - 2 then
|
|
|
|
self.scroll = self.pos - (self.width - 2)
|
|
|
|
elseif self.pos < self.scroll then
|
|
|
|
self.scroll = self.pos
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:draw()
|
|
|
|
local bg = self.backgroundColor
|
|
|
|
local tc = self.textColor
|
|
|
|
if self.focused then
|
|
|
|
bg = self.backgroundFocusColor
|
|
|
|
end
|
|
|
|
|
|
|
|
self:updateScroll()
|
|
|
|
local text = tostring(self.value)
|
|
|
|
if #text > 0 then
|
|
|
|
if self.scroll and self.scroll > 0 then
|
|
|
|
text = text:sub(1 + self.scroll)
|
|
|
|
end
|
2017-10-11 15:37:52 +00:00
|
|
|
if self.mask then
|
|
|
|
text = _rep('*', #text)
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
else
|
|
|
|
tc = colors.gray
|
|
|
|
text = self.shadowText
|
|
|
|
end
|
|
|
|
|
|
|
|
self:write(1, 1, ' ' .. Util.widthify(text, self.width - 2) .. ' ', bg, tc)
|
|
|
|
if self.focused then
|
|
|
|
self:setCursorPos(self.pos-self.scroll+2, 1)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:reset()
|
|
|
|
self.pos = 0
|
|
|
|
self.value = ''
|
|
|
|
self:draw()
|
|
|
|
self:updateCursor()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:updateCursor()
|
|
|
|
self:updateScroll()
|
|
|
|
self:setCursorPos(self.pos-self.scroll+2, 1)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextEntry:focus()
|
|
|
|
self:draw()
|
|
|
|
if self.focused then
|
|
|
|
self:setCursorBlink(true)
|
|
|
|
else
|
|
|
|
self:setCursorBlink(false)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[
|
|
|
|
A few lines below from theoriginalbit
|
|
|
|
http://www.computercraft.info/forums2/index.php?/topic/16070-read-and-limit-length-of-the-input-field/
|
|
|
|
--]]
|
|
|
|
function UI.TextEntry:eventHandler(event)
|
|
|
|
if event.type == 'key' then
|
|
|
|
local ch = event.key
|
|
|
|
if ch == 'left' then
|
|
|
|
if self.pos > 0 then
|
|
|
|
self.pos = math.max(self.pos-1, 0)
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
elseif ch == 'right' then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
if self.pos < #input then
|
|
|
|
self.pos = math.min(self.pos+1, #input)
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
elseif ch == 'home' then
|
|
|
|
self.pos = 0
|
|
|
|
self:draw()
|
|
|
|
elseif ch == 'end' then
|
|
|
|
self.pos = #tostring(self.value)
|
|
|
|
self:draw()
|
|
|
|
elseif ch == 'backspace' then
|
|
|
|
if self.pos > 0 then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
self.value = input:sub(1, self.pos-1) .. input:sub(self.pos+1)
|
|
|
|
self.pos = self.pos - 1
|
|
|
|
self:draw()
|
|
|
|
self:emit({ type = 'text_change', text = self.value })
|
|
|
|
end
|
|
|
|
elseif ch == 'delete' then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
if self.pos < #input then
|
|
|
|
self.value = input:sub(1, self.pos) .. input:sub(self.pos+2)
|
|
|
|
self:draw()
|
|
|
|
self:emit({ type = 'text_change', text = self.value })
|
|
|
|
end
|
|
|
|
elseif #ch == 1 then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
if #input < self.limit then
|
|
|
|
self.value = input:sub(1, self.pos) .. ch .. input:sub(self.pos+1)
|
|
|
|
self.pos = self.pos + 1
|
|
|
|
self:draw()
|
|
|
|
self:emit({ type = 'text_change', text = self.value })
|
|
|
|
end
|
|
|
|
else
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
|
2017-05-12 05:12:58 +00:00
|
|
|
elseif event.type == 'copy' then
|
2017-10-14 07:41:54 +00:00
|
|
|
os.queueEvent('clipboard_copy', self.value)
|
2017-05-12 05:12:58 +00:00
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
elseif event.type == 'paste' then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
local text = event.text
|
|
|
|
if #input + #text > self.limit then
|
|
|
|
text = text:sub(1, self.limit-#input)
|
|
|
|
end
|
|
|
|
self.value = input:sub(1, self.pos) .. text .. input:sub(self.pos+1)
|
|
|
|
self.pos = self.pos + #text
|
|
|
|
self:draw()
|
|
|
|
self:updateCursor()
|
|
|
|
self:emit({ type = 'text_change', text = self.value })
|
|
|
|
return true
|
|
|
|
|
|
|
|
elseif event.type == 'mouse_click' then
|
2017-04-01 23:21:49 +00:00
|
|
|
if self.focused and event.x > 1 then
|
2016-12-11 19:24:52 +00:00
|
|
|
self.pos = event.x + self.scroll - 2
|
|
|
|
self:updateCursor()
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
elseif event.type == 'mouse_rightclick' then
|
|
|
|
local input = tostring(self.value)
|
|
|
|
if #input > 0 then
|
|
|
|
self:reset()
|
|
|
|
self:emit({ type = 'text_change', text = self.value })
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Chooser --]]--
|
|
|
|
UI.Chooser = class(UI.Window)
|
|
|
|
UI.Chooser.defaults = {
|
|
|
|
UIElement = 'Chooser',
|
|
|
|
choices = { },
|
|
|
|
nochoice = 'Select',
|
2017-09-28 22:52:57 +00:00
|
|
|
backgroundFocusColor = colors.lightGray,
|
2016-12-11 19:24:52 +00:00
|
|
|
height = 1,
|
|
|
|
}
|
|
|
|
function UI.Chooser:setParent()
|
2017-09-30 02:30:01 +00:00
|
|
|
if not self.width and not self.ex then
|
2016-12-11 19:24:52 +00:00
|
|
|
self.width = 1
|
|
|
|
for _,v in pairs(self.choices) do
|
|
|
|
if #v.name > self.width then
|
|
|
|
self.width = #v.name
|
|
|
|
end
|
|
|
|
end
|
|
|
|
self.width = self.width + 4
|
|
|
|
end
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Chooser:draw()
|
|
|
|
local bg = self.backgroundColor
|
|
|
|
if self.focused then
|
|
|
|
bg = self.backgroundFocusColor
|
|
|
|
end
|
|
|
|
local choice = Util.find(self.choices, 'value', self.value)
|
|
|
|
local value = self.nochoice
|
|
|
|
if choice then
|
|
|
|
value = choice.name
|
|
|
|
end
|
|
|
|
self:write(1, 1, '<', bg, colors.black)
|
|
|
|
self:write(2, 1, ' ' .. Util.widthify(value, self.width-4) .. ' ', bg)
|
|
|
|
self:write(self.width, 1, '>', bg, colors.black)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Chooser:focus()
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Chooser:eventHandler(event)
|
|
|
|
if event.type == 'key' then
|
|
|
|
if event.key == 'right' or event.key == 'space' then
|
2017-10-07 04:27:41 +00:00
|
|
|
local _,k = Util.find(self.choices, 'value', self.value)
|
2016-12-11 19:24:52 +00:00
|
|
|
if k and k < #self.choices then
|
|
|
|
self.value = self.choices[k+1].value
|
|
|
|
else
|
|
|
|
self.value = self.choices[1].value
|
|
|
|
end
|
|
|
|
self:emit({ type = 'choice_change', value = self.value })
|
|
|
|
self:draw()
|
|
|
|
return true
|
|
|
|
elseif event.key == 'left' then
|
2017-10-07 04:27:41 +00:00
|
|
|
local _,k = Util.find(self.choices, 'value', self.value)
|
2016-12-11 19:24:52 +00:00
|
|
|
if k and k > 1 then
|
|
|
|
self.value = self.choices[k-1].value
|
|
|
|
else
|
|
|
|
self.value = self.choices[#self.choices].value
|
|
|
|
end
|
|
|
|
self:emit({ type = 'choice_change', value = self.value })
|
|
|
|
self:draw()
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
elseif event.type == 'mouse_click' then
|
|
|
|
if event.x == 1 then
|
|
|
|
self:emit({ type = 'key', key = 'left' })
|
|
|
|
return true
|
|
|
|
elseif event.x == self.width then
|
|
|
|
self:emit({ type = 'key', key = 'right' })
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Text --]]--
|
|
|
|
UI.Text = class(UI.Window)
|
|
|
|
UI.Text.defaults = {
|
|
|
|
UIElement = 'Text',
|
|
|
|
value = '',
|
|
|
|
height = 1,
|
|
|
|
}
|
|
|
|
function UI.Text:setParent()
|
2017-09-30 02:30:01 +00:00
|
|
|
if not self.width and not self.ex then
|
2016-12-11 19:24:52 +00:00
|
|
|
self.width = #tostring(self.value)
|
|
|
|
end
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Text:draw()
|
2017-10-08 03:03:18 +00:00
|
|
|
self:write(1, 1, Util.widthify(self.value or '', self.width), self.backgroundColor)
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- ScrollBar --]]--
|
|
|
|
UI.ScrollBar = class(UI.Window)
|
|
|
|
UI.ScrollBar.defaults = {
|
|
|
|
UIElement = 'ScrollBar',
|
|
|
|
lineChar = '|',
|
|
|
|
sliderChar = '#',
|
|
|
|
upArrowChar = '^',
|
|
|
|
downArrowChar = 'v',
|
|
|
|
scrollbarColor = colors.lightGray,
|
|
|
|
value = '',
|
|
|
|
width = 1,
|
|
|
|
x = -1,
|
|
|
|
ey = -1,
|
|
|
|
}
|
|
|
|
function UI.ScrollBar:draw()
|
|
|
|
local parent = self.parent
|
|
|
|
local view = parent:getViewArea()
|
|
|
|
|
|
|
|
if view.totalHeight > view.height then
|
|
|
|
local maxScroll = view.totalHeight - view.height
|
|
|
|
local percent = view.offsetY / maxScroll
|
|
|
|
local sliderSize = math.max(1, Util.round(view.height / view.totalHeight * (view.height - 2)))
|
|
|
|
local x = self.width
|
|
|
|
|
|
|
|
local row = view.y
|
|
|
|
if not view.static then -- does the container scroll ?
|
|
|
|
self.y = row -- if so, move the scrollbar onscreen
|
|
|
|
row = 1
|
|
|
|
end
|
|
|
|
|
|
|
|
for i = 1, view.height - 2 do
|
|
|
|
self:write(x, row + i, self.lineChar, nil, self.scrollbarColor)
|
|
|
|
end
|
|
|
|
|
|
|
|
local y = Util.round((view.height - 2 - sliderSize) * percent)
|
|
|
|
for i = 1, sliderSize do
|
|
|
|
self:write(x, row + y + i, self.sliderChar, nil, self.scrollbarColor)
|
|
|
|
end
|
|
|
|
|
|
|
|
local color = self.scrollbarColor
|
|
|
|
if view.offsetY > 0 then
|
|
|
|
color = colors.white
|
|
|
|
end
|
|
|
|
self:write(x, row, self.upArrowChar, nil, color)
|
|
|
|
|
|
|
|
color = self.scrollbarColor
|
|
|
|
if view.offsetY + view.height < view.totalHeight then
|
|
|
|
color = colors.white
|
|
|
|
end
|
|
|
|
self:write(x, row + view.height - 1, self.downArrowChar, nil, color)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.ScrollBar:eventHandler(event)
|
|
|
|
if event.type == 'mouse_click' or event.type == 'mouse_doubleclick' then
|
|
|
|
if event.x == 1 then
|
|
|
|
local view = self.parent:getViewArea()
|
|
|
|
if view.totalHeight > view.height then
|
|
|
|
if event.y == view.y then
|
|
|
|
self:emit({ type = 'scroll_up'})
|
|
|
|
elseif event.y == self.height then
|
|
|
|
self:emit({ type = 'scroll_down'})
|
|
|
|
-- else
|
|
|
|
-- ... percentage ...
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2017-10-05 17:07:48 +00:00
|
|
|
--[[-- TextArea --]]--
|
2017-10-08 03:03:18 +00:00
|
|
|
UI.TextArea = class(UI.Viewport)
|
2017-10-03 04:50:54 +00:00
|
|
|
UI.TextArea.defaults = {
|
|
|
|
UIElement = 'TextArea',
|
2017-10-08 03:03:18 +00:00
|
|
|
marginRight = 2,
|
2017-10-03 04:50:54 +00:00
|
|
|
value = '',
|
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.TextArea:postInit()
|
2017-10-08 03:03:18 +00:00
|
|
|
self.scrollBar = UI.ScrollBar()
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.TextArea:setText(text)
|
2017-10-08 03:03:18 +00:00
|
|
|
self.offy = 0
|
|
|
|
self.ymax = nil
|
2017-10-03 04:50:54 +00:00
|
|
|
self.value = text
|
|
|
|
self:draw()
|
|
|
|
end
|
|
|
|
|
2017-10-09 17:08:38 +00:00
|
|
|
function UI.TextArea:focus()
|
|
|
|
-- allow keyboard scrolling
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
function UI.TextArea:draw()
|
|
|
|
self:clear()
|
2017-10-18 23:51:55 +00:00
|
|
|
-- self:setCursorPos(1, 1)
|
|
|
|
self.cursorX, self.cursorY = 1, 1
|
2017-10-03 04:50:54 +00:00
|
|
|
self:print(self.value)
|
2017-10-08 03:03:18 +00:00
|
|
|
self.ymax = self.cursorY + 1
|
|
|
|
|
|
|
|
for _,child in pairs(self.children) do
|
|
|
|
if child.enabled then
|
|
|
|
child:draw()
|
|
|
|
end
|
|
|
|
end
|
2017-10-03 04:50:54 +00:00
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
--[[-- Form --]]--
|
|
|
|
UI.Form = class(UI.Window)
|
|
|
|
UI.Form.defaults = {
|
|
|
|
UIElement = 'Form',
|
|
|
|
values = { },
|
2016-12-27 03:26:43 +00:00
|
|
|
margin = 2,
|
|
|
|
event = 'form_complete',
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Form:postInit()
|
2016-12-27 03:26:43 +00:00
|
|
|
self:createForm()
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
function UI.Form:reset()
|
|
|
|
for _,child in pairs(self.children) do
|
|
|
|
if child.reset then
|
|
|
|
child:reset()
|
|
|
|
end
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Form:setValues(values)
|
2016-12-27 03:26:43 +00:00
|
|
|
self:reset()
|
2016-12-11 19:24:52 +00:00
|
|
|
self.values = values
|
2017-10-07 04:27:41 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-27 03:26:43 +00:00
|
|
|
if child.formKey then
|
2017-04-22 04:51:27 +00:00
|
|
|
-- this should be child:setValue(self.values[child.formKey])
|
|
|
|
-- so chooser can set default choice if null
|
|
|
|
-- null should be valid as well
|
2016-12-27 03:26:43 +00:00
|
|
|
child.value = self.values[child.formKey] or ''
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
function UI.Form:createForm()
|
|
|
|
self.children = self.children or { }
|
2016-12-11 19:24:52 +00:00
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
if not self.labelWidth then
|
|
|
|
self.labelWidth = 1
|
|
|
|
for _, child in pairs(self) do
|
|
|
|
if type(child) == 'table' and child.UIElement then
|
|
|
|
if child.formLabel then
|
|
|
|
self.labelWidth = math.max(self.labelWidth, #child.formLabel + 2)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2017-10-07 04:27:41 +00:00
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
local y = self.margin
|
|
|
|
for _, child in pairs(self) do
|
|
|
|
if type(child) == 'table' and child.UIElement then
|
|
|
|
if child.formKey then
|
|
|
|
child.x = self.labelWidth + self.margin - 1
|
|
|
|
child.y = y
|
2017-09-30 02:30:01 +00:00
|
|
|
if not child.width and not child.ex then
|
|
|
|
child.ex = -self.margin
|
2016-12-27 03:26:43 +00:00
|
|
|
end
|
|
|
|
child.value = self.values[child.formKey] or ''
|
|
|
|
end
|
|
|
|
if child.formLabel then
|
|
|
|
table.insert(self.children, UI.Text {
|
|
|
|
x = self.margin,
|
|
|
|
y = y,
|
|
|
|
textColor = colors.black,
|
|
|
|
width = #child.formLabel,
|
|
|
|
value = child.formLabel,
|
|
|
|
})
|
|
|
|
end
|
|
|
|
if child.formKey or child.formLabel then
|
|
|
|
y = y + 1
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
table.insert(self.children, UI.Button {
|
2017-09-30 02:30:01 +00:00
|
|
|
y = -self.margin, x = -12 - self.margin,
|
2016-12-27 03:26:43 +00:00
|
|
|
text = 'Ok',
|
|
|
|
event = 'form_ok',
|
|
|
|
})
|
|
|
|
table.insert(self.children, UI.Button {
|
2017-09-30 02:30:01 +00:00
|
|
|
y = -self.margin, x = -7 - self.margin,
|
2016-12-27 03:26:43 +00:00
|
|
|
text = 'Cancel',
|
|
|
|
event = 'form_cancel',
|
|
|
|
})
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Form:validateField(field)
|
|
|
|
if field.required then
|
|
|
|
if not field.value or #field.value == 0 then
|
|
|
|
return false, 'Field is required'
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
return true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Form:eventHandler(event)
|
2016-12-27 03:26:43 +00:00
|
|
|
if event.type == 'form_ok' then
|
|
|
|
for _,child in pairs(self.children) do
|
|
|
|
if child.formKey then
|
|
|
|
local s, m = self:validateField(child)
|
|
|
|
if not s then
|
|
|
|
self:setFocus(child)
|
|
|
|
self:emit({ type = 'form_invalid', message = m, field = child })
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2016-12-11 19:24:52 +00:00
|
|
|
for _,child in pairs(self.children) do
|
2016-12-27 03:26:43 +00:00
|
|
|
if child.formKey then
|
|
|
|
self.values[child.formKey] = child.value
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
self:emit({ type = self.event, UIElement = self })
|
|
|
|
else
|
|
|
|
return UI.Window.eventHandler(self, event)
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
return true
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Dialog --]]--
|
|
|
|
UI.Dialog = class(UI.Page)
|
|
|
|
UI.Dialog.defaults = {
|
2016-12-27 03:26:43 +00:00
|
|
|
UIElement = 'Dialog',
|
2016-12-11 19:24:52 +00:00
|
|
|
x = 7,
|
|
|
|
y = 4,
|
2016-12-27 03:26:43 +00:00
|
|
|
z = 2,
|
2016-12-11 19:24:52 +00:00
|
|
|
height = 7,
|
2017-09-28 22:52:57 +00:00
|
|
|
textColor = colors.black,
|
2016-12-27 03:26:43 +00:00
|
|
|
backgroundColor = colors.white,
|
2016-12-11 19:24:52 +00:00
|
|
|
}
|
2017-10-11 15:37:52 +00:00
|
|
|
function UI.Dialog:postInit()
|
|
|
|
self.titleBar = UI.TitleBar({ previousPage = true, title = self.title })
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2016-12-27 03:26:43 +00:00
|
|
|
function UI.Dialog:setParent()
|
2017-10-11 15:37:52 +00:00
|
|
|
if not self.width then
|
|
|
|
self.width = self.parent.width - 11
|
|
|
|
end
|
2016-12-27 03:26:43 +00:00
|
|
|
self.x = math.floor((self.parent.width - self.width) / 2) + 1
|
|
|
|
self.y = math.floor((self.parent.height - self.height) / 2) + 1
|
2017-10-11 15:37:52 +00:00
|
|
|
UI.Page.setParent(self)
|
2016-12-27 03:26:43 +00:00
|
|
|
end
|
|
|
|
|
2017-10-06 07:07:24 +00:00
|
|
|
function UI.Dialog:disable()
|
|
|
|
self.previousPage.canvas.palette = self.oldPalette
|
|
|
|
UI.Page.disable(self)
|
|
|
|
end
|
|
|
|
|
2017-10-03 04:50:54 +00:00
|
|
|
function UI.Dialog:enable(...)
|
2017-10-06 07:07:24 +00:00
|
|
|
self.oldPalette = self.previousPage.canvas.palette
|
|
|
|
self.previousPage.canvas:applyPalette(Canvas.darkPalette)
|
2017-10-03 04:50:54 +00:00
|
|
|
self:addTransition('grow')
|
|
|
|
UI.Page.enable(self, ...)
|
|
|
|
end
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
function UI.Dialog:eventHandler(event)
|
|
|
|
if event.type == 'cancel' then
|
|
|
|
UI:setPreviousPage()
|
|
|
|
end
|
|
|
|
return UI.Page.eventHandler(self, event)
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- Image --]]--
|
|
|
|
UI.Image = class(UI.Window)
|
|
|
|
UI.Image.defaults = {
|
|
|
|
UIElement = 'Image',
|
|
|
|
event = 'button_press',
|
|
|
|
}
|
|
|
|
function UI.Image:setParent()
|
|
|
|
if self.image then
|
|
|
|
self.height = #self.image
|
|
|
|
end
|
|
|
|
if self.image and not self.width then
|
|
|
|
self.width = #self.image[1]
|
|
|
|
end
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Image:draw()
|
2016-12-15 14:45:27 +00:00
|
|
|
self:clear()
|
2016-12-11 19:24:52 +00:00
|
|
|
if self.image then
|
|
|
|
for y = 1, #self.image do
|
|
|
|
local line = self.image[y]
|
|
|
|
for x = 1, #line do
|
|
|
|
local ch = line[x]
|
|
|
|
if type(ch) == 'number' then
|
|
|
|
if ch > 0 then
|
|
|
|
self:write(x, y, ' ', ch)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
self:write(x, y, ch)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.Image:setImage(image)
|
|
|
|
self.image = image
|
|
|
|
end
|
|
|
|
|
|
|
|
--[[-- NftImage --]]--
|
|
|
|
UI.NftImage = class(UI.Window)
|
|
|
|
UI.NftImage.defaults = {
|
|
|
|
UIElement = 'NftImage',
|
|
|
|
event = 'button_press',
|
|
|
|
}
|
|
|
|
function UI.NftImage:setParent()
|
|
|
|
if self.image then
|
|
|
|
self.height = self.image.height
|
|
|
|
end
|
|
|
|
if self.image and not self.width then
|
|
|
|
self.width = self.image.width
|
|
|
|
end
|
|
|
|
UI.Window.setParent(self)
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.NftImage:draw()
|
|
|
|
if self.image then
|
|
|
|
for y = 1, self.image.height do
|
|
|
|
for x = 1, #self.image.text[y] do
|
|
|
|
self:write(x, y, self.image.text[y][x], self.image.bg[y][x], self.image.fg[y][x])
|
|
|
|
end
|
|
|
|
end
|
|
|
|
else
|
|
|
|
self:clear()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function UI.NftImage:setImage(image)
|
|
|
|
self.image = image
|
|
|
|
end
|
|
|
|
|
2017-05-20 22:27:26 +00:00
|
|
|
UI:loadTheme('usr/config/ui.theme')
|
2017-10-12 21:58:35 +00:00
|
|
|
if Util.getVersion() >= 1.76 then
|
2017-05-20 07:43:19 +00:00
|
|
|
UI:loadTheme('sys/etc/ext.theme')
|
2016-12-11 19:24:52 +00:00
|
|
|
end
|
|
|
|
|
2016-12-15 14:45:27 +00:00
|
|
|
UI:setDefaultDevice(UI.Device({ device = term.current() }))
|
|
|
|
|
2016-12-11 19:24:52 +00:00
|
|
|
return UI
|