mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2025-08-04 13:30:48 +00:00
Make RadioInput accept optional selected_index
This commit is contained in:
parent
b29acbd784
commit
88bdf9580f
12 changed files with 23 additions and 23 deletions
|
@ -11,7 +11,7 @@
|
|||
const dispatch = createEventDispatcher<{ selectedIndex: number }>();
|
||||
|
||||
export let entries: RadioEntries;
|
||||
export let selectedIndex: number;
|
||||
export let selectedIndex: number | undefined = undefined;
|
||||
export let disabled = false;
|
||||
export let sharpRightCorners = false;
|
||||
|
||||
|
|
|
@ -999,7 +999,7 @@ export class RadioInput extends WidgetProps {
|
|||
|
||||
disabled!: boolean;
|
||||
|
||||
selectedIndex!: number;
|
||||
selectedIndex!: number | undefined;
|
||||
}
|
||||
|
||||
export type SeparatorDirection = "Horizontal" | "Vertical";
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue