2018-08-05 11:22:07 -04:00
|
|
|
local M = {}
|
|
|
|
|
2017-07-19 00:36:15 -04:00
|
|
|
local Text = require 'Text'
|
|
|
|
local Line = require 'Line'
|
|
|
|
local TextColumn = require 'TextColumn'
|
2017-07-19 00:43:44 -04:00
|
|
|
local Util = require 'Util'
|
2017-07-19 00:36:15 -04:00
|
|
|
|
2019-10-10 22:52:49 -04:00
|
|
|
local __string_match = string.match
|
|
|
|
local __string_gmatch = string.gmatch
|
|
|
|
|
2017-07-19 00:36:15 -04:00
|
|
|
local _TEXT_SPACING_ = 20
|
|
|
|
|
2017-07-20 00:49:24 -04:00
|
|
|
local header = _G_Widget_.Header{
|
2017-07-19 00:36:15 -04:00
|
|
|
x = _G_INIT_DATA_.RIGHT_X,
|
|
|
|
y = _G_INIT_DATA_.TOP_Y,
|
|
|
|
width = _G_INIT_DATA_.SECTION_WIDTH,
|
|
|
|
header = 'PACMAN'
|
|
|
|
}
|
|
|
|
|
2017-07-20 00:49:24 -04:00
|
|
|
local labels = _G_Widget_.TextColumn{
|
2017-07-19 00:36:15 -04:00
|
|
|
x = _G_INIT_DATA_.RIGHT_X,
|
|
|
|
y = header.bottom_y,
|
|
|
|
spacing = _TEXT_SPACING_,
|
|
|
|
'Total',
|
|
|
|
'Explicit',
|
|
|
|
'Outdated',
|
|
|
|
'Orphaned',
|
|
|
|
'Local'
|
|
|
|
}
|
2017-07-20 00:49:24 -04:00
|
|
|
local info = _G_Widget_.TextColumn{
|
2017-07-19 00:36:15 -04:00
|
|
|
x = _G_INIT_DATA_.RIGHT_X + _G_INIT_DATA_.SECTION_WIDTH,
|
|
|
|
y = header.bottom_y,
|
|
|
|
spacing = _TEXT_SPACING_,
|
|
|
|
x_align = 'right',
|
2017-07-20 00:49:24 -04:00
|
|
|
text_color = _G_Patterns_.BLUE,
|
2017-07-19 00:36:15 -04:00
|
|
|
num_rows = 5
|
|
|
|
}
|
|
|
|
|
|
|
|
_TEXT_SPACING_ = nil
|
|
|
|
|
2019-10-11 21:52:10 -04:00
|
|
|
local update = function(cr, pacman_stats)
|
|
|
|
local stats = __string_match(pacman_stats, '%d+%s+[^%s]+%s+[^%s]+%s+(.*)$')
|
2019-10-10 22:52:49 -04:00
|
|
|
if stats then
|
|
|
|
local i = 1
|
2019-10-11 21:52:10 -04:00
|
|
|
for v in __string_gmatch(stats, '%d+') do
|
2019-10-10 22:52:49 -04:00
|
|
|
TextColumn.set(info, cr, i, v)
|
|
|
|
i = i + 1
|
|
|
|
end
|
|
|
|
else
|
|
|
|
for i=1,5 do
|
|
|
|
TextColumn.set(info, cr, i, 'N/A')
|
|
|
|
end
|
|
|
|
end
|
2017-07-19 00:36:15 -04:00
|
|
|
end
|
|
|
|
|
2018-08-05 11:22:07 -04:00
|
|
|
local draw_static = function(cr)
|
2018-08-05 11:35:00 -04:00
|
|
|
Text.draw(header.text, cr)
|
|
|
|
Line.draw(header.underline, cr)
|
|
|
|
TextColumn.draw(labels, cr)
|
2018-08-05 11:22:07 -04:00
|
|
|
end
|
|
|
|
|
2019-10-11 21:52:10 -04:00
|
|
|
local draw_dynamic = function(cr, pacman_stats)
|
|
|
|
update(cr, pacman_stats)
|
2018-08-05 11:08:37 -04:00
|
|
|
TextColumn.draw(info, cr)
|
2017-07-19 00:36:15 -04:00
|
|
|
end
|
|
|
|
|
2018-08-05 11:22:07 -04:00
|
|
|
M.draw_static = draw_static
|
|
|
|
M.draw_dynamic = draw_dynamic
|
|
|
|
|
|
|
|
return M
|