Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[BUG] extension has weird internal name #55

Closed
JoernBerkefeld opened this issue Aug 1, 2023 · 0 comments · Fixed by #72
Closed

[BUG] extension has weird internal name #55

JoernBerkefeld opened this issue Aug 1, 2023 · 0 comments · Fixed by #72
Assignees
Labels
bug Something isn't working Done
Milestone

Comments

@JoernBerkefeld
Copy link
Contributor

JoernBerkefeld commented Aug 1, 2023

right-clicking the taskbar, one sees the name "devtoolsmcdev". could we reduce that to "mcdev"?

image

@JoernBerkefeld JoernBerkefeld added bug Something isn't working NEW not yet analyzed new issues get this label labels Aug 1, 2023
@anasilva105 anasilva105 self-assigned this Dec 5, 2023
@anasilva105 anasilva105 modified the milestones: 0.0.1, 1.0.0 Dec 6, 2023
@anasilva105 anasilva105 added Done and removed NEW not yet analyzed new issues get this label labels Dec 13, 2023
@anasilva105 anasilva105 linked a pull request Dec 13, 2023 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working Done
Projects
None yet
2 participants