Vladimir Marko

Hover does not open documentation in the editor

3

According to https://github.com/elm-fullstack/elm-fullstack/tree/main/implement/example-apps/elm-editor, the following functionality should exist in https://elm-editor.com/: > Showing documentation and details when hovering the mouse cursor over a part of the code. However, no such thing...

Documentation in the editor covers suggestions and code

3

I went to https://elm-editor.com/ and triggered the suggestions. This pops up and covers what I want to see: Instead, the second (documentation) pop-up window should be to the right of...

When importing, the editor suggestion are quite useless

1

I went to https://elm-editor.com/ and triggered the suggestions while importing. Here, `Browser` or `Html` is not suggested, even though the rest of the code is using them: Again, `Html.Events` is...

The "standard"/obvious usecase is broken.

1

This is more of a question than an issue with the code. If use the plugin to add a `SetRotationExecuting` event to `Transform` and then add a handler to a...

While running the script on Windows 10, the following line fails: `mv msys64 msys` **Error message:** ``` mv : Access to the path 'C:\Users\vladi\get-idris\msys64' is denied. At C:\Users\vladi\get-idris\get-idris.ps1:112 char:9 +...

Fails to connect to a Agda Language Server running on NixOS on WSL

1

I am on Windows 10 and I want to write some Agda code. The [HoTT Game](https://thehottgameguide.readthedocs.io/en/latest/index.html) [recommends](https://thehottgameguide.readthedocs.io/en/latest/getting-started/installation.html#id12) that I install NixOS on WSL2 and run Agda there. So I installed...