mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-10-04 01:08:13 +08:00
UI refinements for radio buttons and the Snapping/Grid popovers
This commit is contained in:
@@ -891,6 +891,8 @@ export class RadioInput extends WidgetProps {
|
||||
disabled!: boolean;
|
||||
|
||||
selectedIndex!: number | undefined;
|
||||
|
||||
minWidth!: number;
|
||||
}
|
||||
|
||||
export type SeparatorDirection = "Horizontal" | "Vertical";
|
||||
|
||||
Reference in New Issue
Block a user