This is the complete list of members for WidgetCurrentTool.Extra, including all inherited members.

iconSize (defined in WidgetCurrentTool.Extra)	WidgetCurrentTool.Extra
showShortcut (defined in WidgetCurrentTool.Extra)	WidgetCurrentTool.Extra
top (defined in WidgetCurrentTool.Extra)	WidgetCurrentTool.Extra