mirror of
https://github.com/wassname/DefinitelyTyped.git
synced 2026-09-09 11:13:57 +08:00
Merge pull request #7528 from rdogmartin/master
Make MenuOptions extend MenuEvents
This commit is contained in:
@@ -1471,6 +1471,7 @@ function test_menu() {
|
||||
$(".selector").menu({ position: { my: "left top", at: "right-5 top+5" } });
|
||||
$(".selector").menu({ role: null });
|
||||
$(".selector").menu("option", { disabled: true });
|
||||
$(".selector").menu({ select: (e, ui) => { } });
|
||||
}
|
||||
|
||||
|
||||
|
||||
Vendored
+3
-2
@@ -498,7 +498,7 @@ declare module JQueryUI {
|
||||
|
||||
// Menu //////////////////////////////////////////////////
|
||||
|
||||
interface MenuOptions {
|
||||
interface MenuOptions extends MenuEvents {
|
||||
disabled?: boolean;
|
||||
icons?: any;
|
||||
menus?: string;
|
||||
@@ -507,6 +507,7 @@ declare module JQueryUI {
|
||||
}
|
||||
|
||||
interface MenuUIParams {
|
||||
item?: JQuery;
|
||||
}
|
||||
|
||||
interface MenuEvent {
|
||||
@@ -520,7 +521,7 @@ declare module JQueryUI {
|
||||
select?: MenuEvent;
|
||||
}
|
||||
|
||||
interface Menu extends Widget, MenuOptions, MenuEvents {
|
||||
interface Menu extends Widget, MenuOptions {
|
||||
}
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user