2022-12-28 03:10:11 +00:00
|
|
|
draw_manifest_navigator = function()
|
|
|
|
App.color(Menu_command_color)
|
|
|
|
local filter_text = to_hud_text(Manifest_navigator.filter)
|
|
|
|
App.screen.draw(filter_text, 5, 5)
|
|
|
|
draw_cursor(5 + App.width(filter_text), 5)
|
|
|
|
App.color(Menu_background_color)
|
|
|
|
love.graphics.rectangle('fill', 0,Menu_bar_height, App.screen.width, Manifest_navigator.num_lines * (HUD_line_height + --[[highlight padding]]5))
|
|
|
|
local x,y = 5, Menu_bar_height
|
|
|
|
for i,definition in ipairs(Manifest_navigator.candidates) do
|
|
|
|
x,y = add_def_to_menu(x,y, definition, i == Manifest_navigator.index)
|
|
|
|
if Menu_cursor >= App.screen.width - 5 then
|
|
|
|
break
|
|
|
|
end
|
|
|
|
end
|
|
|
|
Manifest_navigator.bottom_y = y + HUD_line_height + --[[highlight padding]] 5
|
2023-01-08 01:40:21 +00:00
|
|
|
end
|