Skip to content

UI updates#488

Merged
eprikazchikov merged 2 commits intomasterfrom
ui_widgets
Dec 2, 2022
Merged

UI updates#488
eprikazchikov merged 2 commits intomasterfrom
ui_widgets

Conversation

@eprikazchikov
Copy link
Collaborator

  • Menu widget
  • ToolButton widget
  • Minor fixes

- ToolButton widget
- Minor fixes
@eprikazchikov eprikazchikov merged commit 21d31c2 into master Dec 2, 2022
@eprikazchikov eprikazchikov deleted the ui_widgets branch December 3, 2022 10:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant