Billy Snikkers

Preview button shows wrong location when story outside the plugin window

1

To recreate, open a story and click the UI floating button to put it into the viewport (sorry if that's not what it's called), then click the Preview button. The...

### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...

plugin stuck on loading spinner when no server active

2

Sometime I forget to start the rojo server before I click "Connect" on the rojo plugin. The plugin then gets stuck on the loading spinner, and I can't figure out...

Let project file be provided via stdin

1

I have a use case for generating a project json string within a bash script (attaching a version number on build), however there's no way to give that json string...

uname -m is unreliable in detecting architecture

1

On an apple silicon mac, if the gnu coreutils are in the PATH, `uname -m` will always report `x86_64`, since the binary `/usr/local/opt/coreutils/libexec/gnubin/uname` is compiled for x86_64, so Rosetta is...

Consolidate contribution information

7

I think the contribution information should be more consolidated and require fewer clicks to be able to "see" what relevant info exists. When making my first contribution I overlooked the...