B:BD[
3.1125] → [
3.1125:1196]
∅:D[
2.23] → [
5.1318:1557]
B:BD[
4.5526] → [
5.1318:1557]
love.graphics.line(x,y+Line_height, x+button_params.w,y+Line_height)
end
function icon.hyperlink_decoration(button_params)
local x,y = button_params.x, button_params.y
App.color(Hyperlink_decoration_color)
love.graphics.line(x,y+Editor_state.line_height, x+button_params.w,y+Editor_state.line_height)
if Current_app == 'run' then
love.graphics.line(x,y+Line_height, x+button_params.w,y+Line_height)
elseif Current_app == 'source' then
love.graphics.line(x,y+Editor_state.line_height, x+button_params.w,y+Editor_state.line_height)
else
assert(false, 'unknown app "'..Current_app..'"')
end