eslint: Fix @typescript-eslint/no-unnecessary-type-arguments.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2023-04-19 15:32:11 -07:00 committed by Tim Abbott
parent d958948f43
commit 079b74e67e
3 changed files with 4 additions and 4 deletions

View File

@ -186,7 +186,7 @@ export async function check_form_contents(
}
}
export async function get_element_text(element: ElementHandle<Element>): Promise<string> {
export async function get_element_text(element: ElementHandle): Promise<string> {
const text = await (await element.getProperty("innerText"))!.jsonValue();
assert.ok(typeof text === "string");
return text;

View File

@ -7,12 +7,12 @@ type Hook = () => void;
type OverlayOptions = {
name: string;
$overlay: JQuery<HTMLElement>;
$overlay: JQuery;
on_close: () => void;
};
type Overlay = {
$element: JQuery<HTMLElement>;
$element: JQuery;
close_handler: () => void;
};

View File

@ -24,7 +24,7 @@ export function detect_user_os(): UserOS {
return "mac"; // if unable to determine OS return Mac by default
}
export function activate_correct_tab($codeSection: JQuery<HTMLElement>): void {
export function activate_correct_tab($codeSection: JQuery): void {
const user_os = detect_user_os();
const desktop_os = new Set(["mac", "linux", "windows"]);
const $li = $codeSection.find("ul.nav li");