nerrons

Subscripts affect line height

1

Hi there. When have `company-coq-features/smart-subscripts` turned on, the difference between the line height of the lines with subscripts and without subscripts is pretty big, as shown in the README and...

Screen filled up with ???s

6

Hi there, Just installed sconsify and successfully logged in. But I'm getting question marks all over the UI. When navigating, the ???s are appended to the current line. Any ideas?...

Useful for filtering available tasks.

Correct Chinese pronunciations on "Xu" and other minor improvements

4

`Xu` does not sound the same as "shoe" because it's the simple form for `Xü`, where the `ü` is exactly like the German `ü` or French `u`. `Su` and `Hu`...