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

3

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...

vavr/afb56e7ca6 build

1

- Link to build log from https://jitpack.io: https://jitpack.io/#vavr-io/vavr https://jitpack.io/com/github/vavr-io/vavr/afb56e7ca6/build.log - Does the project build on your machine with **the same** commands (e.g. ./gradlew install) ? `.\gradlew assemble` works and produces...

```powershell PS C:\> scoop install main/ghcup WARN Purging previous failed installation of msys2. ERROR 'msys2' isn't installed correctly. Removing older version (2024-07-27). 'msys2' was uninstalled. Installing 'msys2' (2024-07-27) [64bit] from...