Maja Kądziołka

The gles/egl backend still segfaults on Wayland when exiting the application.

3

**Description** If vulkan is not available on a machine that's running Wayland, the application will crash in `eglTerminate`. This has previously been thought to have been fixed in #4650, but...

Close the command output when empty

1

The command output window (on the bottom-right by default) tends to be empty a lot of the time, taking up valuable space, which can be an issue when dealing with...

Make it easier to figure out why borg terminated with warning status

5

## User story I have used the script from [this section](https://borgbackup.readthedocs.io/en/stable/quickstart.html#automating-backups) of the documentation to create a backup. At the end, I got an information that ``` terminating with warning...

Load the following file: ```agda data A : Set where bad : A very : A → A pattern good = very bad -- {-# DISPLAY very bad = good...

Agda fails to solve constraints when trying to use ⊆-trans

5

Here is a minimal example distilled from `agda-stdlib`'s `Relation.Unary`: ```agda Pred : Set → Set₁ Pred X = X → Set _⊆_ : ∀ {X} → Pred X → Pred...

Make the ToBytes trait unsafe

1

Because of the `ToBytes` impls on arrays and slices, which do not make use of `to_bytes` of the underlying type, implementing `ToBytes` makes a promise to unsafe code. This should...

Attaching attributes to an element of a markdown list

3

Consider the following ``` - step one - step two - big reveal: step three!! muaha ``` None of the following work right: ``` - step one - step two...

Warn on unknown attributes

2

For example: ``` > {pause exec-at-pause} > ```slip-script > ... > ``` ``` This will not work, because `exec-at-unpause` got typo'ed as `exec-at-pause`. Of course, some attributes might still be...

Exceptions thrown during undo are hidden and not logged to the console

1

This makes for some confusing debugging

I believe that the example here wasn't updated for the new engine: https://slipshow.readthedocs.io/en/stable/tutorial.html#starting-animations (the `slip` object gets recreated anew. what you need to do instead is declare a global. or...