FFFluoride

[BUG] - R2MM won't open on linux (tried using .deb and appimage on latest and second latest release)

19

**Describe the bug** I open r2modman, the window opens. After a couple seconds it closes again. when I ran it in the terminal, it gave the error message: ``` [10898:0223/000144.125829:FATAL:gpu_data_manager_impl_private.cc(445)]...

"idris-start-project Incorrectly starts projects in idris2

1

In the .ipkg file, the value of `sourcedir` should be surrounded by quotes but isn't.

Case split causes my function to no longer be covering

4

[Gist with minimal example](https://gist.github.com/FFFluoride/c78f8f2528b29b8fd35773e611b9471f) # Steps to Reproduce Case split on `prf` [here](https://gist.github.com/FFFluoride/c78f8f2528b29b8fd35773e611b9471f#file-test-idr-L12) # Expected Behavior Case splits and `decideWord` is still covering after reloading. # Observed Behavior `decideWord` is...

## Reproducing Frames only mode doesn't open a new window when I split. It's probably my [config](https://gist.github.com/FFFluoride/6fd0bdcb5c9b0759bfd60e453b565997) though. ## Other useful info * Emacs version: 29.4 * frames-only-mode version: latest...