Skip to content

Gui/improvements#1507

Merged
eruvanos merged 2 commits intodevelopmentfrom
gui/improvements
Feb 11, 2023
Merged

Gui/improvements#1507
eruvanos merged 2 commits intodevelopmentfrom
gui/improvements

Conversation

@eruvanos
Copy link
Member

No description provided.

@eruvanos eruvanos merged commit 4f48748 into development Feb 11, 2023
@eruvanos eruvanos deleted the gui/improvements branch February 11, 2023 11:10
pushfoo pushed a commit to pushfoo/arcade that referenced this pull request Feb 13, 2023
* UI: Use performant attribute changes
* UI: fix stats_topleft example
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