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

teacher tool: misc tidy stuff #9870

Merged
merged 1 commit into from
Feb 16, 2024
Merged

Conversation

eanders-ms
Copy link
Collaborator

Miscellaneous cleanup items I've been sitting on. I didn't want these included with other changes.

@@ -2047,7 +2047,6 @@ async function buildSemanticUIAsync(parsed?: commandParser.ParsedCommand) {
generateReactCommonCss("skillmap"),
generateReactCommonCss("authcode"),
generateReactCommonCss("multiplayer"),
generateReactCommonCss("teachertool")
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm surprised. Did something change, or has this always been unnecessary?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's always been unnecessary, and was causing the react-common css to be loaded twice. Duplicates of every class.

@@ -7,17 +7,16 @@
<meta name="theme-color" content="#000000" />
<meta
name="description"
content="MakeCode Teacher Tool. Automatically analyze and evaluate projects."
content="MakeCode Project Insights. Designed to help teachers evaluate student projects using a rubric."
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FYI, don't need to block on this, but in our sync yesterday, there was some disagreement around the name Project Insights. We probably need to have a meeting with branding folks to hash this out.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure. We can keep iterating on it.

@eanders-ms eanders-ms merged commit eeba7d8 into master Feb 16, 2024
7 checks passed
@eanders-ms eanders-ms deleted the eanders-ms/tt-misc-tidy-stuff branch February 16, 2024 22:55
@eanders-ms
Copy link
Collaborator Author

I merged this rather quickly after opening it. @srietkerk please feel free to leave feedback if you had anything.

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.

2 participants