Where is mint.navigate?

[nilslindemann]

Hello,

Window.navigate() calls _navigate(), which is an alias for mint.navigate. Where is this defined? I can not find it anywhere in the source tree.

[Sija]

https://github.com/mint-lang/mint-runtime/blob/afe495559915c980f6e82cda5cfd9ea33d01d16b/source/Utils.js#L14-L29

[nilslindemann]

Ah, that is why I couldn't find it, it is in another Repo!

forked

[nilslindemann]

Further question, how does Mint know the code from this repo, when I do "mint start"?

[Sija]

It's bundled together with Mint, see here: https://github.com/mint-lang/mint/blob/2a4cffcaae76fb8c34dab02effb27fb885b060e0/src/assets/runtime.js

[nilslindemann]

Thank you (again). I also found the build command in the makefile. I have never before run such a file, would I guess correctly, it is make default?

[gdotdesign]

Yes make default works or just make (it will run the first defined task by default).

[nilslindemann]

Thanks again.