button(State, 'link', {x=State.left+lo, y=y, w=hi-lo, h=State.line_height,
            icon = icon.hyperlink_decoration,
            onpress1 = function()
                         if file_exists(filename) then
                           source.switch_to_file(filename)
                         end
                       end,
          })