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

💻 Remove developer mode #6039

Merged
merged 2 commits into from
Dec 13, 2024
Merged

💻 Remove developer mode #6039

merged 2 commits into from
Dec 13, 2024

Conversation

boryanagoncharenko
Copy link
Collaborator

Removes:

  • the developer's mode toggle under the code editor
  • the mandatory developer's mode option in the class customization

Fixes #5987

How to test

  • As a user, you should not be able to see the toggle for programmer's mode. Even if you are part of a class that has this a mandatory developer's mode customization. Whatever combination of adventure/quiz/puzzle sequence you open, the editor should have correct size. Use the parson puzzle on level 6 because it has 5 blocks which makes it higher than usual.
  • If you are a teacher, you should not be able to see the mandatory developer's mode option in the class customization.

Copy link
Member

@Felienne Felienne left a comment

Choose a reason for hiding this comment

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

Thanks!! Makes the interface a lot cleaner!

@Felienne
Copy link
Member

I also tested the /tryout page, where is also works!

Copy link
Contributor

mergify bot commented Dec 13, 2024

Thank you for contributing! Your pull request is now going on the merge train (choo choo! Do not click update from main anymore, and be sure to allow changes to be pushed to your fork).

Copy link
Contributor

mergify bot commented Dec 13, 2024

Thank you for contributing! Your pull request is now going on the merge train (choo choo! Do not click update from main anymore, and be sure to allow changes to be pushed to your fork).

@mergify mergify bot merged commit b14e163 into main Dec 13, 2024
11 checks passed
@mergify mergify bot deleted the delete_dev_mode_5987 branch December 13, 2024 11:14
boryanagoncharenko added a commit that referenced this pull request Dec 17, 2024
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.

💻 Remove developer mode
2 participants