Mats Gisselson

I was unable to reproduce this issue in a new project. Are you able to provide a minimal repro case?

Ok, thanks! Please feel free to reopen the issue if you happen upon it again!

The Margin property only affects the separation between the images, not the borders. It sounds like what you want is covered by the Inner Padding property? This property is typically...

The `Ctrl + T` shortcut is bound to Stop, under the View menu, whereas `Space` toggles Play / Pause. However, it is not immediately apparent that Stop is a separate...

At some point we thought it would be useful to temporarily rebind `g/*the-system*` at runtime. However, once we introduced `update-cache-from-evaluation-context!` and the concept of `invalidate-counters` to merge output values that...

This looks like it might be related to the following issue in JavaFX, which we use for the editor UI: https://bugs.openjdk.org/browse/JDK-8183521 Although a comment on that issue suggests there might...

It also looks like the situation is more severe on your system. The font size and the relative sizes of UI elements look off in the screenshot you posted. Are...

If it makes you feel better, I only learned about `eduction` about a year or so ago. 😅 It's not something you really have to know, but it can be...