Skip to content

Add jump() function - #616

Merged
gdotdesign merged 4 commits into
mint-lang:masterfrom
nilslindemann:navigation
Sep 7, 2023
Merged

gdotdesign merged 4 commits into
mint-lang:masterfrom
nilslindemann:navigation

Conversation

@nilslindemann

@nilslindemann nilslindemann commented Jun 15, 2023 •

Copy link
Copy Markdown

This and that PR (and that PR) belong together. I explain things there.

(Compare with the changes in the 'navigation' PR in the 'mint-runtime' repo.)

User can now choose between `navigate()`, which never jumps, and `jump()` which does, if the URL is a defined route.

The parameter lists and descriptions of the related functions `navigate()` and `setUrl()` are also updated. Renamed `triggerHashJump()` to `triggerJump()`, to fit more to the name of `jump()`.
@Sija
Sija requested a review from gdotdesign September 3, 2023 23:19
@Sija Sija added enhancement New feature or request stdlib Standard library related labels Sep 3, 2023
@gdotdesign gdotdesign added this to the 0.19.0 milestone Sep 6, 2023
@gdotdesign
gdotdesign merged commit 302f413 into mint-lang:master Sep 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request stdlib Standard library related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants