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

No help yet fix #4128

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Conversation

Lasercar
Copy link
Contributor

@Lasercar Lasercar commented Feb 10, 2025

Does this PR close any issues? If so, link them below.

This #2429 but for the stage editor.

Briefly describe the issue(s) fixed.

You open the user guide in the stage editor multiple times.

Include any relevant screenshots or videos.

screenshot-2025-02-10-20-28-24

No one else was around to fix this bug.

@github-actions github-actions bot added pr: haxe PR modifies game code. size: large A large pull request with more than 100 changes. status: pending triage Awaiting review. labels Feb 10, 2025
@Lasercar Lasercar changed the base branch from main to develop February 10, 2025 10:53
@Lasercar
Copy link
Contributor Author

Lasercar commented Feb 10, 2025

Hmm, the bot really should rerun it's automatic labeling whenever the base branch is changed (and if a real person hasn't messed around with the labels yet).

@Hundrec Hundrec added size: small A small pull request with 10 or fewer changes. type: minor bug Involves a minor bug or issue. and removed size: large A large pull request with more than 100 changes. labels Feb 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr: haxe PR modifies game code. size: small A small pull request with 10 or fewer changes. status: pending triage Awaiting review. type: minor bug Involves a minor bug or issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants