Closed keram closed 1 year ago
improvements too small to get in alone. Except "Reset Idris working directory on closing idris connection". This make sure that after restarting connection with idris in the same directory the idris-switch-working-directory works as expected.
idris-switch-working-directory
improvements too small to get in alone. Except "Reset Idris working directory on closing idris connection". This make sure that after restarting connection with idris in the same directory the
idris-switch-working-directoryworks as expected.