hiro/tridactyl
1
0
Fork 0
mirror of https://github.com/vale981/tridactyl synced 2025-03-05 09:31:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix missing repeated words bug and incorrect gate

Browse source
This commit is contained in:
Oliver Blanthorn 2021-03-13 13:22:26 +01:00
parent df67b1c2ff
commit 28b3c3d255
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3
1 changed files with 18 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
src/excmds.ts
View file

@ -904,25 +904,31 @@ export async function restart() {
export async function saveas(...args: string[]) {
let overwrite = false
let cleanup = false
const uniqueArgs = new Set(args)
if (uniqueArgs.has("--overwrite")) {
const argParse = (args: string[]): string[] => {
if (args[0] === "--overwrite") {
overwrite = true
uniqueArgs.delete("--overwrite")
args.shift()
argParse(args)
}
if (uniqueArgs.has("--cleanup")) {
if (args[0] === "--cleanup") {
cleanup = true
uniqueArgs.delete("--cleanup")
args.shift()
argParse(args)
}
return args
}
const requiredNativeMessengerVersion = "0.3.0"
if ((overwrite || cleanup) && (await Native.nativegate(requiredNativeMessengerVersion, false))) {
const file = argParse(args).join(" ") || undefined
const requiredNativeMessengerVersion = "0.3.2"
if ((overwrite || cleanup) && !(await Native.nativegate(requiredNativeMessengerVersion, false))) {
throw new Error(`":saveas --{overwrite, cleanup}" requires native ${requiredNativeMessengerVersion} or later`)
}
if (args.length > 0) {
const filename = await Messaging.message("download_background", "downloadUrlAs", window.location.href, [...uniqueArgs].join(" "), overwrite, cleanup)
return fillcmdline_tmp(10000, `Download completed: ${filename} stored in ${Array.from(uniqueArgs).join(" ")}`)
const filename = await Messaging.message("download_background", "downloadUrlAs", window.location.href, file, overwrite, cleanup)
return fillcmdline_tmp(10000, `Download completed: ${filename} stored in ${file}`)
} else {
return Messaging.message("download_background", "downloadUrl", window.location.href, true)
}