Fix #1114: move get_current_url to alias

This commit is contained in:
Oliver Blanthorn 2019-05-29 17:13:02 +01:00
parent 06b013b38e
commit 269a37bef1
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3
2 changed files with 1 additions and 8 deletions

View file

@ -2723,14 +2723,6 @@ export async function fillcmdline_tmp(ms: number, ...strarr: string[]) {
)
}
/**
* Returns the current URL. For use with [[composite]].
*/
//#content
export async function get_current_url() {
return window.location.href
}
/**
* Copy content to clipboard without feedback. Use `clipboard yank` for interactive use.
*/

View file

@ -497,6 +497,7 @@ export class default_config {
"!js": "fillcmdline_tmp 3000 !js is deprecated. Please use js instead",
"!jsb":
"fillcmdline_tmp 3000 !jsb is deprecated. Please use jsb instead",
get_current_url: "js document.location.href",
current_url: "composite get_current_url | fillcmdline_notrail ",
stop: "js window.stop()",
zo: "zoom",