Skip to content
This repository was archived by the owner on Mar 25, 2021. It is now read-only.

Improve toolbar/profiler#13

Open
thewilkybarkid wants to merge 2 commits into
ddeboer:masterfrom
thewilkybarkid:improve-profiler
Open

Improve toolbar/profiler#13
thewilkybarkid wants to merge 2 commits into
ddeboer:masterfrom
thewilkybarkid:improve-profiler

Conversation

@thewilkybarkid
Copy link
Copy Markdown

This tidies up the toolbar and adds verbose messages to the profiler. It also includes some slightly-dodgy icons.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant