Ting-gian LUA

I'm closing this because I've rewritten the whole input system. Please reopen this issue if the problem still persists.

Thank you for reporting this! Could you give me an example Agda file that causes non-termination for reproducing this issue!

@freedan42x could you please go to `Settings > Log` and press the "Dump Log" button, and paste the generated log here, thank you! (the settings button is located at the...

There are many test suites (Jasmine, Mocha, Jest ...). In theory we can use any of the suite we like to write tests. However, some tests require bindings to Atom,...

Wow I don't know we can do this!

@Zambonifofex I'm rewriting the stylesheet and basing the constants on these variables. But as for `--editor-line-height` I can't find any way to change and test it. Do you know how...

Ahh, I see! Thanks for the prompt reply 😊

It's a little bit hard to picture this, can you please provide us with a screenshot?

Thanks, I see!

Looks good! I'll see if I can do this after branch `ocaml` hits master!