ben/cc
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Add window setHeight in winhlp

Browse source
This commit is contained in:
Ben 2024-06-02 16:49:53 +02:00
parent 8972bf27e5
commit 3289e07a89
Signed by: ben
GPG key ID: 0F54A7ED232D3319
2 changed files with 13 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
orders.lua
View file

@ -39,9 +39,7 @@ local function fetch(wait_for)
end end
local function drawEntry(win, obj) local function drawEntry(win, obj)
local winX, winY = win.getPosition() winhlp.setHeight(win, 2)
local sizeX, sizeY = win.getSize()
win.reposition(winX, winY, sizeX, 2)
win.setBackgroundColor(colors.black) win.setBackgroundColor(colors.black)
win.setTextColor(colors.lightGray) win.setTextColor(colors.lightGray)
win.write(obj.id) win.write(obj.id)

17
winhlp.lua
View file

@ -1,14 +1,20 @@
local function translate(window, x, y) local function translate(win, x, y)
local winX, winY = window.getPosition() local winX, winY = win.getPosition()
return x-winX+1, y-winY+1 return x-winX+1, y-winY+1
end end
local function contains(window, x, y) local function contains(win, x, y)
local winX, winY = window.getPosition() local winX, winY = win.getPosition()
local width, height = window.getSize() local width, height = win.getSize()
return x >= winX and y >= winY and x-winX < width and y-winY < height return x >= winX and y >= winY and x-winX < width and y-winY < height
end end
local function setHeight(win, height)
local winX, winY = win.getPosition()
local sizeX, sizeY = win.getSize()
win.reposition(winX, winY, sizeX, height)
end
local function alignRight(termlike, length) local function alignRight(termlike, length)
local tw, th = termlike.getSize() local tw, th = termlike.getSize()
local x, y = termlike.getCursorPos() local x, y = termlike.getCursorPos()
@ -20,5 +26,6 @@ end
return { return {
translate=translate, translate=translate,
contains=contains, contains=contains,
setHeight=setHeight,
alignRight=alignRight, alignRight=alignRight,
} }