@leanprover/infoview
Preparing search index...
index
UserWidgets
Interface UserWidgets
The response type for the RPC call
Widget_getWidgets
.
interface
UserWidgets
{
widgets
:
UserWidgetInstance
[]
;
}
Index
Properties
widgets
Properties
widgets
widgets
:
UserWidgetInstance
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
widgets
@leanprover/infoview
Loading...
The response type for the RPC call
Widget_getWidgets.