Wyrdix

Add speed argument to ProjectileSource#launchProjectile

2

Fix #7708 Add a way to change speed factor

Add item group for sell sign

5

In reply to #5297 I didn't use the '+' mdcfe, I preferred to use '~' because it's more neutral Maybe we could make a configuration of it To be clear,...

Change warp saving format

7

In reply to #5267 with JRoy's idea Saving warps using a uuid instead of the santized warp name that was causing problems with warps with similar names. Added backwards conversion...

Multi line coloration

2

I would like to add coloration to a syntax like so : ```md ``` Where can be replaced by any markdown part and is a predefined string In the end...

**Describe the bug** When using 'proof/goals' with pp_format "Pp" it is expected that type : https://github.com/ejgallego/rocq-lsp/blob/bd6fb39fc0ac51330c3543ef727d7fa3c81d7b96/editor/code/lib/types.ts#L97 ```ts export interface Hyp { names: Pp[]; def?: Pp; ty: Pp; } `` But...

**Describe the bug** If you try to create a file with an invalid name the LSP silently get an error but do not report it **To Reproduce** Steps to reproduce...