860 lines
26 KiB
Lua
860 lines
26 KiB
Lua
--[[
|
|
TODO:
|
|
```bash
|
|
echo -e "\033[?25l" # hide
|
|
echo -e "\033[?25h" # show
|
|
```
|
|
]]
|
|
local module = {}
|
|
|
|
function module.check()
|
|
return true -- Usually always loaded, but maybe it would be worth it to check if the computer has a GPU or not? I'm not sure.
|
|
end
|
|
|
|
function module.init()
|
|
local serialize = require("serialize")
|
|
local unicode = require("unicode")
|
|
local event = require("event")
|
|
local fs = require("filesystem")
|
|
local json = require("json")
|
|
|
|
local component = require("component")
|
|
local gpu = component.gpu
|
|
_G._PUBLIC.terminal = {}
|
|
|
|
local readHistory = {}
|
|
function _PUBLIC.terminal.getHistory(id)
|
|
checkArg(1, id, "string")
|
|
return table.copy(readHistory[id])
|
|
end
|
|
function _PUBLIC.terminal.setHistory(id, hist)
|
|
checkArg(1, id, "string")
|
|
checkArg(2, hist, "table")
|
|
for i = 1, #hist do
|
|
hist[i] = tostring(hist[i])
|
|
end
|
|
readHistory[id] = hist
|
|
end
|
|
function _PUBLIC.terminal.addToHistory(id, hist)
|
|
checkArg(1, id, "string")
|
|
checkArg(2, hist, "string")
|
|
table.insert(readHistory[id], hist)
|
|
end
|
|
|
|
if not fs.exists("/halyde/config/terminal.json") then
|
|
fs.copy("/halyde/config/generate/terminal.json", "/halyde/config/terminal.json")
|
|
end
|
|
local config = ""
|
|
local tmpdata
|
|
local handle = fs.open("/halyde/config/terminal.json")
|
|
repeat
|
|
tmpdata = handle:read(math.huge)
|
|
config = config .. (tmpdata or "")
|
|
until not tmpdata
|
|
config = json.decode(config)
|
|
require("log").terminal.info("Loaded config file: " .. serialize(config))
|
|
|
|
local function getColorPalette(depth)
|
|
if depth == 1 then
|
|
return {
|
|
["dark"] = {
|
|
[0] = 0x000000,
|
|
[1] = 0xffffff,
|
|
[2] = 0xffffff,
|
|
[3] = 0xffffff,
|
|
[4] = 0xffffff,
|
|
[5] = 0xffffff,
|
|
[6] = 0xffffff,
|
|
[7] = 0xffffff,
|
|
},
|
|
["bright"] = {
|
|
[0] = 0x000000,
|
|
[1] = 0xffffff,
|
|
[2] = 0xffffff,
|
|
[3] = 0xffffff,
|
|
[4] = 0xffffff,
|
|
[5] = 0xffffff,
|
|
[6] = 0xffffff,
|
|
[7] = 0xffffff,
|
|
}
|
|
}
|
|
end
|
|
if depth == 4 then
|
|
return {
|
|
-- Closest colors to the 4 bit OC palette
|
|
-- Better than outright failure
|
|
["dark"] = {
|
|
[0] = 0x000000, -- black
|
|
[1] = 0x663300, -- brown (dark red)
|
|
[2] = 0x336600, -- green (dark green)
|
|
[3] = 0x336600, -- green (dark yellow)
|
|
[4] = 0x333399, -- blue (dark blue)
|
|
[5] = 0x9933CC, -- purple (dark purple)
|
|
[6] = 0x333399, -- blue (dark cyan)
|
|
[7] = 0xCCCCCC -- silver (dark white)
|
|
},
|
|
["bright"] = {
|
|
[0] = 0x333333, -- gray (bright black)
|
|
[1] = 0xff3333, -- red
|
|
[2] = 0x33cc33, -- lime (green)
|
|
[3] = 0xffff33, -- yellow
|
|
[4] = 0x333399, -- blue
|
|
[5] = 0xcc66cc, -- magenta (purple)
|
|
[6] = 0x336699, -- cyan
|
|
[7] = 0xffffff -- white
|
|
}
|
|
}
|
|
end
|
|
if depth == 8 then
|
|
local palette = {["dark"] = {}, ["bright"] = {}}
|
|
for i = 0, 7 do
|
|
palette["dark"][i] = tonumber(config.palette.dark[tostring(i)])
|
|
end
|
|
for i = 0, 7 do
|
|
palette["bright"][i] = tonumber(config.palette.bright[tostring(i)])
|
|
end
|
|
require("log").terminal.info("Set color palette: " .. serialize(palette, nil))
|
|
return palette
|
|
--[[ return {
|
|
["dark"] = {
|
|
[0] = 0x0f0f0f, -- black
|
|
[1] = 0xcc2424, -- dark red
|
|
[2] = 0x339280, -- dark green
|
|
[3] = 0x996d00, -- dark yellow
|
|
[4] = 0x004980, -- dark blue
|
|
[5] = 0x9949c0, -- dark purple
|
|
[6] = 0x33b6c0, -- dark cyan
|
|
[7] = 0xc3c3c3 -- dark white
|
|
},
|
|
["bright"] = {
|
|
[0] = 0x666d80, -- brighter black
|
|
[1] = 0xff6d40, -- red
|
|
[2] = 0x33db80, -- green
|
|
[3] = 0xffb600, -- yellow
|
|
[4] = 0x336dff, -- blue
|
|
[5] = 0xcc6dc0, -- purple
|
|
[6] = 0x33dbc0, -- cyan
|
|
[7] = 0xffffff -- white
|
|
}
|
|
} ]]
|
|
end
|
|
--[[ Original color palette:
|
|
{
|
|
["dark"] = {
|
|
[0] = 0x171421,
|
|
[1] = 0xc01c28,
|
|
[2] = 0x26a269,
|
|
[3] = 0xa2734c,
|
|
[4] = 0x12488b,
|
|
[5] = 0xa347ba,
|
|
[6] = 0x2aa1b3,
|
|
[7] = 0xd0cfcc
|
|
},
|
|
["bright"] = {
|
|
[0] = 0x5e5c64,
|
|
[1] = 0xf66151,
|
|
[2] = 0x33d17a,
|
|
[3] = 0xe9ad0c,
|
|
[4] = 0x2a7bde,
|
|
[5] = 0xc061cb,
|
|
[6] = 0x33c7de,
|
|
[7] = 0xffffff
|
|
}
|
|
}
|
|
]]
|
|
-- Shouldn't reach here
|
|
error()
|
|
end
|
|
|
|
local ANSIColorPalette = getColorPalette(gpu.maxDepth())
|
|
|
|
local cursor = { x = 1, y = 1, X = nil, Y = nil } -- X and Y are managed by ESC s and ESC u
|
|
local printState = 0 -- 0:none 1:in ESC 2:in CSI
|
|
local DEFAULT_FG = ANSIColorPalette["bright"][7]
|
|
local DEFAULT_BG = ANSIColorPalette["dark"][0]
|
|
require("log").terminal.info("FG and BG: " .. DEFAULT_FG .. " " .. DEFAULT_BG)
|
|
local fg = DEFAULT_FG
|
|
local bg = DEFAULT_BG
|
|
local gpuFg = nil
|
|
local gpuBg = nil
|
|
local reverse = false
|
|
local current_codepoint = 0
|
|
local bytes_remaining = 0
|
|
local seq = {}
|
|
|
|
local writeBuf = ""
|
|
local bufStartX = 1
|
|
local bufStartY = 1
|
|
|
|
local width, height = gpu.getResolution()
|
|
|
|
function _G._PUBLIC.terminal.getResolution()
|
|
return width, height
|
|
end
|
|
|
|
local function update_gpu_colors()
|
|
if reverse then
|
|
if gpuBg ~= fg then gpu.setBackground(fg) gpuBg = fg end
|
|
if gpuFg ~= bg then gpu.setForeground(bg) gpuFg = bg end
|
|
else
|
|
if gpuBg ~= bg then gpu.setBackground(bg) gpuBg = bg end
|
|
if gpuFg ~= fg then gpu.setForeground(fg) gpuFg = fg end
|
|
end
|
|
end
|
|
|
|
local function scroll(n)
|
|
if n <= 0 then return end
|
|
if writeBuf ~= "" then
|
|
update_gpu_colors()
|
|
gpu.set(bufStartX, bufStartY, writeBuf)
|
|
writeBuf = ""
|
|
end
|
|
local keep = height - n
|
|
if keep > 0 then
|
|
gpu.copy(1, n + 1, width, keep, 0, -n)
|
|
end
|
|
if gpuBg ~= bg then
|
|
gpu.setBackground(bg)
|
|
gpuBg = bg
|
|
end
|
|
gpu.fill(1, keep + 1, width, n, " ")
|
|
cursor.y = cursor.y - n
|
|
if cursor.y > height then cursor.y = height end
|
|
if cursor.y < 1 then cursor.y = 1 end
|
|
end
|
|
|
|
local function check_wrap_and_scroll()
|
|
if cursor.x > width then
|
|
cursor.x = 1
|
|
cursor.y = cursor.y + 1
|
|
end
|
|
scroll(cursor.y - height)
|
|
end
|
|
|
|
-- must be called before any operation that moves the cursor or changes colors!!!!!!!
|
|
local function flush()
|
|
if writeBuf == "" then return end
|
|
update_gpu_colors()
|
|
gpu.set(bufStartX, bufStartY, writeBuf)
|
|
writeBuf = ""
|
|
end
|
|
|
|
local function buf_append(s, len)
|
|
if writeBuf == "" then
|
|
bufStartX = cursor.x
|
|
bufStartY = cursor.y
|
|
end
|
|
writeBuf = writeBuf .. s
|
|
cursor.x = cursor.x + len
|
|
end
|
|
|
|
local function exec_csi()
|
|
local params = {}
|
|
local op = 0
|
|
local current_num = 0
|
|
local have_num = false
|
|
|
|
for i = 1, #seq do
|
|
local byte = seq[i]
|
|
|
|
if 0x30 <= byte and byte <= 0x39 then
|
|
current_num = current_num * 10 + (byte - 0x30)
|
|
have_num = true
|
|
elseif byte == 0x3b then
|
|
table.insert(params, have_num and current_num or 0)
|
|
current_num = 0
|
|
have_num = false
|
|
else
|
|
if have_num then
|
|
table.insert(params, current_num)
|
|
end
|
|
if 0x40 <= byte and byte <= 0x7e then
|
|
op = byte
|
|
end
|
|
break
|
|
end
|
|
end
|
|
|
|
-- TODO maybe use a lookup table like this?
|
|
-- local thing = things[op]
|
|
-- if thing ~= nil then thing() end
|
|
if op == 0x41 then
|
|
flush()
|
|
cursor.y = cursor.y - (params[1] or 1)
|
|
if cursor.y < 1 then cursor.y = 1 end
|
|
elseif op == 0x42 then
|
|
flush()
|
|
cursor.y = cursor.y + (params[1] or 1)
|
|
if cursor.y > height then cursor.y = height end
|
|
elseif op == 0x43 then
|
|
flush()
|
|
cursor.x = cursor.x + (params[1] or 1)
|
|
if cursor.x > width then cursor.x = width end
|
|
elseif op == 0x44 then
|
|
flush()
|
|
cursor.x = cursor.x - (params[1] or 1)
|
|
if cursor.x < 1 then cursor.x = 1 end
|
|
elseif op == 0x47 or op == 0x60 then
|
|
flush()
|
|
cursor.x = params[1] or 1
|
|
if cursor.x < 1 then cursor.x = 1 end
|
|
if cursor.x > width then cursor.x = width end
|
|
elseif op == 0x48 or op == 0x66 then
|
|
flush()
|
|
cursor.y = params[1] or 1
|
|
cursor.x = params[2] or 1
|
|
if cursor.x < 1 then cursor.x = 1 end
|
|
if cursor.y < 1 then cursor.y = 1 end
|
|
if cursor.x > width then cursor.x = width end
|
|
if cursor.y > height then cursor.y = height end
|
|
elseif op == 0x4a then
|
|
flush()
|
|
local mode = params[1] or 0
|
|
update_gpu_colors()
|
|
if mode == 0 then
|
|
gpu.fill(cursor.x, cursor.y, width - cursor.x + 1, 1, " ")
|
|
if cursor.y < height then
|
|
gpu.fill(1, cursor.y + 1, width, height - cursor.y, " ")
|
|
end
|
|
elseif mode == 1 then
|
|
if cursor.y > 1 then
|
|
gpu.fill(1, 1, width, cursor.y - 1, " ")
|
|
end
|
|
gpu.fill(1, cursor.y, cursor.x, 1, " ")
|
|
elseif mode == 2 then
|
|
gpu.fill(1, 1, width, height, " ")
|
|
cursor.x = 1
|
|
cursor.y = 1
|
|
end
|
|
elseif op == 0x4b then
|
|
flush()
|
|
local mode = params[1] or 0
|
|
update_gpu_colors()
|
|
if mode == 0 then
|
|
gpu.fill(cursor.x, cursor.y, width - cursor.x + 1, 1, " ")
|
|
elseif mode == 1 then
|
|
gpu.fill(1, cursor.y, cursor.x, 1, " ")
|
|
elseif mode == 2 then
|
|
gpu.fill(1, cursor.y, width, 1, " ")
|
|
end
|
|
elseif op == 0x64 then
|
|
flush()
|
|
cursor.y = params[1] or 1
|
|
if cursor.y < 1 then
|
|
cursor.y = 1
|
|
end
|
|
if cursor.y > height then
|
|
cursor.y = height
|
|
end
|
|
elseif op == 0x6d then
|
|
flush()
|
|
local j = 1
|
|
local function parse_extended_color()
|
|
local mode = params[j + 1] or -1
|
|
if mode == 5 then
|
|
local idx = params[j + 2] or 0
|
|
j = j + 2
|
|
if idx < 8 then
|
|
return ANSIColorPalette["dark"][idx]
|
|
elseif idx < 16 then
|
|
return ANSIColorPalette["bright"][idx - 8]
|
|
elseif idx < 232 then
|
|
local i = idx - 16
|
|
local b = (i % 6) * 51
|
|
local g = ((i // 6) % 6) * 51
|
|
local r = (i // 36) * 51
|
|
return (r << 16) | (g << 8) | b
|
|
else
|
|
local v = (idx - 232) * 10 + 8
|
|
return (v << 16) | (v << 8) | v
|
|
end
|
|
elseif mode == 2 then
|
|
local r = params[j + 2] or 0
|
|
local g = params[j + 3] or 0
|
|
local b = params[j + 4] or 0
|
|
j = j + 4
|
|
return (r << 16) | (g << 8) | b
|
|
end
|
|
return nil
|
|
end
|
|
|
|
if #params == 0 then
|
|
reverse = false
|
|
fg = DEFAULT_FG
|
|
bg = DEFAULT_BG
|
|
return
|
|
end
|
|
|
|
while j <= #params do
|
|
local p = params[j] or 0
|
|
|
|
if p == 0 then
|
|
reverse = false
|
|
fg = DEFAULT_FG
|
|
bg = DEFAULT_BG
|
|
--elseif p == 1 then
|
|
--elseif p == 2 then
|
|
--elseif p == 3 then
|
|
--elseif p == 4 then
|
|
--elseif p == 5 or p == 6 then
|
|
elseif p == 7 then
|
|
reverse = true
|
|
elseif p == 8 then
|
|
fg = bg
|
|
--elseif p == 9 then
|
|
--elseif p == 21 then
|
|
--elseif p == 22 then
|
|
--elseif p == 23 then
|
|
--elseif p == 24 then
|
|
--elseif p == 25 then
|
|
elseif p == 27 then
|
|
reverse = false
|
|
elseif p == 28 then
|
|
fg = DEFAULT_FG
|
|
--elseif p == 29 then
|
|
elseif 30 <= p and p <= 37 then
|
|
fg = ANSIColorPalette["dark"][p - 30]
|
|
elseif p == 38 then
|
|
local c = parse_extended_color()
|
|
if c then
|
|
fg = c
|
|
end
|
|
elseif p == 39 then
|
|
fg = DEFAULT_FG
|
|
elseif 40 <= p and p <= 47 then
|
|
bg = ANSIColorPalette["dark"][p - 40]
|
|
elseif p == 48 then
|
|
local c = parse_extended_color()
|
|
if c then
|
|
bg = c
|
|
end
|
|
elseif p == 49 then
|
|
bg = DEFAULT_BG
|
|
elseif 90 <= p and p <= 97 then
|
|
fg = ANSIColorPalette["bright"][p - 90]
|
|
elseif 100 <= p and p <= 107 then
|
|
bg = ANSIColorPalette["bright"][p - 100]
|
|
end
|
|
|
|
j = j + 1
|
|
end
|
|
elseif op == 0x73 then
|
|
flush()
|
|
cursor.X = cursor.x
|
|
cursor.Y = cursor.y
|
|
elseif op == 0x75 then
|
|
flush()
|
|
if cursor.X and cursor.Y then
|
|
cursor.x = cursor.X
|
|
cursor.y = cursor.Y
|
|
if cursor.x < 1 then
|
|
cursor.x = 1
|
|
end
|
|
if cursor.y < 1 then
|
|
cursor.y = 1
|
|
end
|
|
if cursor.x > width then
|
|
cursor.x = width
|
|
end
|
|
if cursor.y > height then
|
|
cursor.y = height
|
|
end
|
|
end
|
|
end
|
|
end
|
|
|
|
function _G._PUBLIC.terminal.write(text)
|
|
text = tostring(text)
|
|
local len = #text
|
|
local i = 1
|
|
|
|
while i <= len do
|
|
local byte = string.byte(text, i)
|
|
|
|
if byte == 0x1b then
|
|
printState = 1
|
|
seq = {}
|
|
i = i + 1
|
|
elseif printState == 1 then
|
|
printState = byte == 0x5b and 2 or 0
|
|
i = i + 1
|
|
elseif printState == 2 then
|
|
table.insert(seq, byte)
|
|
if 0x40 <= byte and byte <= 0x7e then
|
|
exec_csi()
|
|
printState = 0
|
|
seq = {}
|
|
end
|
|
i = i + 1
|
|
elseif byte == 0xa then
|
|
flush()
|
|
cursor.y = cursor.y + 1
|
|
cursor.x = 1
|
|
check_wrap_and_scroll()
|
|
bufStartX = cursor.x
|
|
bufStartY = cursor.y
|
|
i = i + 1
|
|
elseif byte == 0xd then
|
|
flush()
|
|
cursor.x = 1
|
|
bufStartX = 1
|
|
bufStartY = cursor.y
|
|
i = i + 1
|
|
elseif byte == 0x8 then
|
|
flush()
|
|
if cursor.x > 1 then cursor.x = cursor.x - 1 end
|
|
i = i + 1
|
|
elseif byte == 0x9 then
|
|
flush()
|
|
cursor.x = ((cursor.x - 1) // 8) * 8 + 9
|
|
if cursor.x > width then cursor.x = width end
|
|
i = i + 1
|
|
elseif byte >= 0x20 and byte <= 0x7E then
|
|
local j = i + 1
|
|
while j <= len do
|
|
local b = string.byte(text, j)
|
|
if b < 0x20 or b > 0x7E then break end
|
|
j = j + 1
|
|
end
|
|
local runLen = j - i
|
|
local space = width - cursor.x + 1
|
|
|
|
if runLen <= space then
|
|
buf_append(text:sub(i, j - 1), runLen)
|
|
if cursor.x > width then
|
|
flush()
|
|
cursor.x = 1
|
|
cursor.y = cursor.y + 1
|
|
check_wrap_and_scroll()
|
|
bufStartX = cursor.x
|
|
bufStartY = cursor.y
|
|
end
|
|
i = j
|
|
else
|
|
buf_append(text:sub(i, i + space - 1), space)
|
|
flush()
|
|
cursor.x = 1
|
|
cursor.y = cursor.y + 1
|
|
check_wrap_and_scroll()
|
|
bufStartX = cursor.x
|
|
bufStartY = cursor.y
|
|
i = i + space
|
|
end
|
|
elseif byte >= 0xC2 and byte <= 0xDF then
|
|
current_codepoint = (byte & 0x1F)
|
|
bytes_remaining = 1
|
|
i = i + 1
|
|
elseif byte >= 0xE0 and byte <= 0xEF then
|
|
current_codepoint = (byte & 0x0F)
|
|
bytes_remaining = 2
|
|
i = i + 1
|
|
elseif byte >= 0xF0 and byte <= 0xF7 then
|
|
current_codepoint = (byte & 0x07)
|
|
bytes_remaining = 3
|
|
i = i + 1
|
|
elseif byte >= 0x80 and byte <= 0xBF and bytes_remaining > 0 then
|
|
current_codepoint = (current_codepoint << 6) | (byte & 0x3F)
|
|
bytes_remaining = bytes_remaining - 1
|
|
if bytes_remaining == 0 then
|
|
buf_append(unicode.char(current_codepoint), 1)
|
|
if cursor.x > width then
|
|
flush()
|
|
cursor.x = 1
|
|
cursor.y = cursor.y + 1
|
|
check_wrap_and_scroll()
|
|
bufStartX = cursor.x
|
|
bufStartY = cursor.y
|
|
end
|
|
current_codepoint = 0
|
|
end
|
|
i = i + 1
|
|
else
|
|
current_codepoint = 0
|
|
bytes_remaining = 0
|
|
i = i + 1
|
|
end
|
|
end
|
|
end
|
|
|
|
function _G._PUBLIC.terminal.flush()
|
|
flush()
|
|
end
|
|
|
|
function _G._PUBLIC.terminal.clear()
|
|
flush()
|
|
update_gpu_colors()
|
|
gpu.fill(1, 1, width, height, " ")
|
|
cursor.x = 1
|
|
cursor.y = 1
|
|
end
|
|
|
|
function _G.print(...)
|
|
local args = { ... }
|
|
local stringArgs = {}
|
|
for _, arg in pairs(args) do
|
|
if type(arg) == "table" then
|
|
table.insert(stringArgs, serialize(arg))
|
|
elseif tostring(arg) then
|
|
table.insert(stringArgs, tostring(arg))
|
|
end
|
|
end
|
|
_PUBLIC.terminal.write(table.concat(stringArgs, "\t") .. "\n")
|
|
end
|
|
|
|
function _G._PUBLIC.terminal.read(options)
|
|
checkArg(1, options, "table", "nil")
|
|
local function checkOption(name, value, neededType)
|
|
assert(not value or type(value) == neededType, ("%s option must be %s, %s provided"):format(name, neededType, type(value)))
|
|
end
|
|
if not options then
|
|
options = {}
|
|
end
|
|
checkOption("readHistoryType", options.readHistoryType, "string")
|
|
checkOption("prefix", options.prefix, "string")
|
|
checkOption("maxChars", options.maxChars, "number")
|
|
checkOption("defaultText", options.defaultText, "string")
|
|
checkOption("censor", options.censor, "string")
|
|
|
|
options.maxChars = options.maxChars or math.huge
|
|
|
|
local text = options.defaultText or ""
|
|
|
|
local historyIdx
|
|
if options.readHistoryType then
|
|
if not readHistory[options.readHistoryType] then
|
|
readHistory[options.readHistoryType] = { text }
|
|
elseif readHistory[options.readHistoryType][#readHistory[options.readHistoryType]] ~= text then
|
|
table.insert(readHistory[options.readHistoryType], text)
|
|
end
|
|
historyIdx = #readHistory[options.readHistoryType]
|
|
end
|
|
|
|
local function updateHistory()
|
|
if not options.readHistoryType then return end
|
|
if historyIdx ~= #readHistory[options.readHistoryType] then return end
|
|
readHistory[options.readHistoryType][historyIdx] = text
|
|
end
|
|
|
|
local cur = unicode.len(text) + 1
|
|
if options.prefix then _PUBLIC.terminal.write(options.prefix) end
|
|
flush()
|
|
local startX, startY = cursor.x, cursor.y
|
|
local cursorBlink = true
|
|
|
|
local function checkScroll(y)
|
|
if y > height then
|
|
local n = y - height
|
|
scroll(n)
|
|
startY = startY - n
|
|
y = height
|
|
end
|
|
return y
|
|
end
|
|
|
|
local function set(index, character, invertedColors) -- HACK: Currently, this will uncensor all spaces in the inputted text.
|
|
if character == nil or character == "" then return end
|
|
if options.censor then
|
|
character = character:gsub("[^ ]", options.censor)
|
|
end
|
|
if invertedColors then
|
|
if gpuFg ~= bg then gpu.setForeground(bg); gpuFg = bg end
|
|
if gpuBg ~= fg then gpu.setBackground(fg); gpuBg = fg end
|
|
else
|
|
if gpuFg ~= fg then gpu.setForeground(fg); gpuFg = fg end
|
|
if gpuBg ~= bg then gpu.setBackground(bg); gpuBg = bg end
|
|
end
|
|
index = startX + index - 1
|
|
local setX = (index - 1) % width + 1
|
|
local setY = startY + ((index - 1) // width)
|
|
setY = checkScroll(setY)
|
|
local firstLen = width - setX + 1
|
|
gpu.set(setX, setY, unicode.sub(character, 1, firstLen))
|
|
local charLen = unicode.len(character)
|
|
if charLen > firstLen then
|
|
local offset = firstLen + 1
|
|
while offset <= charLen do
|
|
setY = setY + 1
|
|
setY = checkScroll(setY)
|
|
local segEnd = offset + width - 1
|
|
gpu.set(1, setY, unicode.sub(character, offset, segEnd))
|
|
offset = segEnd + 1
|
|
end
|
|
end
|
|
end
|
|
|
|
local function strDef(a, b)
|
|
if #a == 0 then return b end
|
|
return a
|
|
end
|
|
local function curPos(c)
|
|
return unicode.wlen(unicode.sub(text, 1, c - 1)) + 1
|
|
end
|
|
local function add(chr)
|
|
if type(chr) ~= "string" or #chr == 0 then
|
|
return
|
|
end
|
|
if unicode.len(text) >= options.maxChars then
|
|
return
|
|
end
|
|
if options.maxChars < math.huge then
|
|
chr = unicode.sub(chr, 1, options.maxChars - unicode.len(text))
|
|
end
|
|
text = unicode.sub(text, 1, cur - 1) .. chr .. unicode.sub(text, cur)
|
|
set(curPos(cur), chr, false)
|
|
cur = math.min(cur + unicode.len(chr), options.maxChars + 1)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
cursorBlink = true
|
|
set(curPos(cur + 1), unicode.sub(text, cur + 1), false)
|
|
end
|
|
local function moveCur(dir)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), false)
|
|
cur = math.max(math.min(cur + dir, unicode.len(text) + 1), 1)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
cursorBlink = true
|
|
end
|
|
local function isLetter(chr)
|
|
return not string.find("\x09 :@-./_~?&=%+#", chr, 1, true)
|
|
end
|
|
local function nextCur(dir, chr, icur)
|
|
if icur == nil then icur = cur end
|
|
local next = math.max(math.min(icur + dir, unicode.len(text) + 1), 1)
|
|
if chr then return unicode.sub(text, next, next) end
|
|
return next
|
|
end
|
|
local function curAfterWord(dir)
|
|
local ncur = cur
|
|
while nextCur(dir, false, ncur) ~= ncur and isLetter(nextCur(dir, true, ncur)) == (dir == 1) do
|
|
ncur = nextCur(dir, false, ncur)
|
|
end
|
|
while nextCur(dir, false, ncur) ~= ncur and isLetter(nextCur(dir, true, ncur)) == (dir == -1) do
|
|
ncur = nextCur(dir, false, ncur)
|
|
end
|
|
return ncur
|
|
end
|
|
local function moveWord(dir)
|
|
if nextCur(dir) == cur then return end
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), false)
|
|
cur = curAfterWord(dir)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
cursorBlink = true
|
|
end
|
|
local function deleteWord(dir)
|
|
local after = curAfterWord(dir)
|
|
local lenb = unicode.wlen(text)
|
|
if dir == 1 then
|
|
text = unicode.sub(text, 1, cur - 1) .. unicode.sub(text, after)
|
|
set(curPos(cur + 1), unicode.sub(text, cur + 1) .. string.rep(" ", lenb - unicode.wlen(text) + 1), false)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
else
|
|
text = unicode.sub(text, 1, after - 1) .. unicode.sub(text, cur)
|
|
cur = after
|
|
set(curPos(cur + 1), unicode.sub(text, cur + 1) .. string.rep(" ", lenb - unicode.wlen(text) + 1), false)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
end
|
|
updateHistory()
|
|
cursorBlink = true
|
|
end
|
|
local function isLine(chr)
|
|
return chr == "\n" or chr == "\r"
|
|
end
|
|
|
|
set(1, text, false)
|
|
set(curPos(cur), " ", true)
|
|
|
|
local function reprint(new)
|
|
set(1, new .. string.rep(" ", unicode.wlen(text) - unicode.wlen(new) + 1), false)
|
|
cur = unicode.len(new) + 1
|
|
text = new
|
|
set(curPos(cur), " ", true)
|
|
end
|
|
|
|
while true do
|
|
local args = { event.pull("key_down", "clipboard", 0.5) }
|
|
local ctrlDown = _PUBLIC.keyboard.getCtrlDown()
|
|
if args and args[1] == "key_down" and args[4] then
|
|
local key = _PUBLIC.keyboard.keys[args[4]]
|
|
if key == "up" and options.readHistoryType then
|
|
historyIdx = math.max(historyIdx - 1, 1)
|
|
reprint(readHistory[options.readHistoryType][historyIdx])
|
|
elseif key == "down" and options.readHistoryType then
|
|
historyIdx = math.min(historyIdx + 1, #readHistory[options.readHistoryType])
|
|
reprint(readHistory[options.readHistoryType][historyIdx])
|
|
elseif key == "left" and ctrlDown then
|
|
moveWord(-1)
|
|
elseif key == "right" and ctrlDown then
|
|
moveWord(1)
|
|
elseif key == "left" then
|
|
moveCur(-1)
|
|
elseif key == "right" then
|
|
moveCur(1)
|
|
elseif key == "home" then
|
|
moveCur(-math.huge)
|
|
elseif key == "end" then
|
|
moveCur(math.huge)
|
|
elseif key == "back" and ctrlDown then
|
|
deleteWord(-1)
|
|
elseif key == "delete" and ctrlDown then
|
|
deleteWord(1)
|
|
elseif key == "back" and cur > 1 then
|
|
text = unicode.sub(text, 1, cur - 2) .. unicode.sub(text, cur)
|
|
cur = cur - 1
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
cursorBlink = true
|
|
set(curPos(cur) + 1, unicode.sub(text, cur + 1) .. " ", false)
|
|
updateHistory()
|
|
elseif key == "delete" then
|
|
text = unicode.sub(text, 1, cur - 1) .. unicode.sub(text, cur + 1)
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), true)
|
|
cursorBlink = true
|
|
if cur <= unicode.len(text) then
|
|
set(curPos(cur + 1), unicode.sub(text, cur + 1) .. " ", false)
|
|
end
|
|
updateHistory()
|
|
elseif key == "enter" then
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), false)
|
|
break
|
|
elseif not (args[3] < 32 or (args[3] > 0x7F and args[3] <= 0x9F)) then
|
|
add(unicode.char(args[3]) or " ")
|
|
updateHistory()
|
|
end
|
|
elseif args and args[1] == "clipboard" then
|
|
local clip = args[3]
|
|
if not clip then goto continue end
|
|
while isLine(unicode.sub(clip, 1, 1)) do clip = unicode.sub(clip, 2) end
|
|
while isLine(unicode.sub(clip, -1)) do clip = unicode.sub(clip, 1, -2) end
|
|
add(clip)
|
|
updateHistory()
|
|
else
|
|
cursorBlink = not cursorBlink
|
|
set(curPos(cur), strDef(unicode.sub(text, cur, cur), " "), cursorBlink)
|
|
end
|
|
::continue::
|
|
end
|
|
|
|
if options.readHistoryType then
|
|
if readHistory[options.readHistoryType][#readHistory[options.readHistoryType]] == "" then
|
|
table.remove(readHistory[options.readHistoryType], #readHistory[options.readHistoryType])
|
|
end
|
|
if historyIdx < #readHistory[options.readHistoryType] then
|
|
table.insert(readHistory[options.readHistoryType], text)
|
|
end
|
|
while #readHistory[options.readHistoryType] > 50 do
|
|
table.remove(readHistory[options.readHistoryType], 1)
|
|
end
|
|
end
|
|
|
|
cursor.x = 1
|
|
cursor.y = cursor.y + math.ceil((unicode.wlen(text) + startX - 1) / width)
|
|
if cursor.y > height then
|
|
scroll(cursor.y - height)
|
|
end
|
|
return text
|
|
end
|
|
end
|
|
|
|
function module.exit()
|
|
_G._PUBLIC.terminal = nil
|
|
end
|
|
|
|
return module
|