Redirects the current tab to a different url.
Implementations
def "redirect" "page" (
if page.getType() == "string" (
local url = Url.parse(page)
) else (
local url = page
)
if url.scheme == "web" or url.scheme == "owtp" (
url.scheme = "rtr"
)
UI.pages[UI.focused_page] = Document.new({
url,
type: url.file_name.split(".")[-1],
isWeb: true
})
UI.utils.focusPage(UI.focused_page)
local p @= UI.pages[UI.focused_page]
UI.page_view.updatePage(p)
UI.pages[UI.focused_page] @= p
)