merge: upstream

2024-02-03 20:19:44 +01:00
parent f93a8e2d38 66714d94fc
commit 11628e4b6a
285 changed files with 3413 additions and 1913 deletions
@@ -80,7 +80,7 @@ function show(file) {
 async function find() {
 	const { canceled, result: q } = await os.inputText({
 		title: i18n.ts.fileIdOrUrl,
-		allowEmpty: false,
+		minLength: 1,
 	});
 	if (canceled) return;