Carl Olson
Carl Olson
> That would be about 170MB I can't speak for the maintainers, but as a user, I would hate that. Most people use MorphMan for Japanese, so that is a...
This is still an issue, I've had it on more than one OS. Currently `Ubuntu 20.04, Anki 2.1.22, Python 3.8.1, Qt 5.14.1, PyQt 5.14.1` Running on CLI displays the following:...
This is likely because company-coq uses overlays. Overlays are generally considered slow, there is probably no fix to this (other than refactoring out using overlays).
I'm ready to merge this, has anyone had the chance to try it?
Unfortunately I'm bouncing around Japan currently, it will be a couple weeks until I'm settled and be able to dig into any problems.
:+1:
Sorry for the delay, I've been busy. I should have time to work on this after this week though!
Good to know, I'll look into the options for Haskell and elisp!
This would be a cool idea, have you thought of utilizing the existing [org-mode](https://orgmode.org/) and [babel](https://orgmode.org/worg/org-contrib/babel/intro.html) in emacs? [Org-mode can export HTML and uses MathJax](https://orgmode.org/manual/Math-formatting-in-HTML-export.html) [Starting point for custom HTML...
This doesn't seem to work on my build under WSL2. However, it does work with the prebuilt 1.0.0-rc.6 on Windows. So maybe this is a Linux-specific issue.