Tom van Dijk

Same thing, Solar Tweaks got broken by Lunar, the Solar devs couldn't foresee this change and thus it is not something they are responsible for.

If I complete anything (including snippets), coq spits out complete nonsense. Help?

Im’ma make a GIF in a new issue. Edit: in a couple of hours

This is https://github.com/ms-jpq/coq_nvim/issues/34?

Okay, now I have this output. My coq install seems very broken. ``` end_col out of bounds Traceback (most recent call last): File "/home/tomvd/.local/share/nvim/site/pack/packer/start/coq_nvim/.vars/runtime/lib/python3.9/site-packages/pynvim_ pp/logging.py", line 31, in with_suppress yield...

Video: https://imgur.com/z09aJSs

`pkg install luajit` then remove the `vendored` feature on mlua makes it compile and run.

How do you accomplish this when using a `AlternateScreen`?

Nevermind: ```rs std::panic::set_hook(Box::new(move |x| { stdout() .into_raw_mode() .unwrap() .suspend_raw_mode() .unwrap(); write!(stdout().into_raw_mode().unwrap(), "{}", ToMainScreen).unwrap(); write!(stdout(), "{:?}", x).unwrap(); })); ```

Same as @SkilLP, Python 3.8.6 on Windows 10 2004