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