14 lines
435 B
Plaintext
14 lines
435 B
Plaintext
|
|
draw_editor_border = function()
|
||
|
|
local x1 = Editor_state.left-5-Line_number_padding
|
||
|
|
local y1 = Editor_state.top-5
|
||
|
|
local x2 = Editor_state.right+5
|
||
|
|
local y2 = Editor_state.bottom+5
|
||
|
|
-- upper border
|
||
|
|
love.graphics.line(x1,y1, x2,y1)
|
||
|
|
love.graphics.line(x1,y1, x1,y1+10)
|
||
|
|
love.graphics.line(x2,y1, x2,y1+10)
|
||
|
|
-- lower border
|
||
|
|
love.graphics.line(x1,y2, x2,y2)
|
||
|
|
love.graphics.line(x1,y2, x1,y2-10)
|
||
|
|
love.graphics.line(x2,y2, x2,y2-10)
|
||
|
|
end
|