Skip to content

Use StopTrigger ExecutionIntent in EffExit when applicable#7889

Merged
APickledWalrus merged 1 commit into
SkriptLang:dev/patchfrom
APickledWalrus:patch/eff-exit-intent
May 23, 2025
Merged

Use StopTrigger ExecutionIntent in EffExit when applicable#7889
APickledWalrus merged 1 commit into
SkriptLang:dev/patchfrom
APickledWalrus:patch/eff-exit-intent

Conversation

@APickledWalrus
Copy link
Copy Markdown
Member

Problem

EffExit currently uses the StopSections intent even for stop trigger. While stopping all sections is technically correct, it is more accurate (and useful) to use the StopTrigger intent.

Solution

Simply checks outerSection == null (true only for stop trigger) and returns the appropriate intent.

Testing Completed

No additional tests are needed/applicable.

Supporting Information

I planned to use ExecutionIntent in supporting local variable type hints. I ran into this issue.


Completes: none
Related: none

@APickledWalrus APickledWalrus requested a review from a team as a code owner May 22, 2025 19:05
@APickledWalrus APickledWalrus requested review from erenkarakal and removed request for a team May 22, 2025 19:05
@APickledWalrus APickledWalrus added the bug An issue that needs to be fixed. Alternatively, a PR fixing an issue. label May 22, 2025
@skriptlang-automation skriptlang-automation Bot added the needs reviews A PR that needs additional reviews label May 22, 2025
@skriptlang-automation skriptlang-automation Bot added patch-ready A PR/issue that has been approved and is ready to be merged/closed for the next patch version. and removed needs reviews A PR that needs additional reviews labels May 22, 2025
@APickledWalrus APickledWalrus merged commit b27c3a1 into SkriptLang:dev/patch May 23, 2025
5 checks passed
@skriptlang-automation skriptlang-automation Bot added completed The issue has been fully resolved and the change will be in the next Skript update. and removed patch-ready A PR/issue that has been approved and is ready to be merged/closed for the next patch version. labels May 23, 2025
@APickledWalrus APickledWalrus deleted the patch/eff-exit-intent branch May 23, 2025 00:13
erenkarakal pushed a commit to erenkarakal/Skript that referenced this pull request Nov 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug An issue that needs to be fixed. Alternatively, a PR fixing an issue. completed The issue has been fully resolved and the change will be in the next Skript update.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants