Sebastian Zivota

I’m experiencing the same issue with i3-gaps and compton. Switching compton to xrender works, but feels a bit sluggish in general.

Here’s the output of `lspci`: ``` 00:02.0 VGA compatible controller [0300]: Intel Corporation Skylake GT2 [HD Graphics 520] [8086:1916] (rev 07) (prog-if 00 [VG controller]) Subsystem: Lenovo Device [17aa:5053] Flags:...

We don't know when we'll get around to fixing this. Can you run off a fork in the meantime?

It's probably gonna take us a while.

Can you try disabling integration tests when building?

Thank you for the suggestion! This isn't planned at this time, but we'll keep it in mind.

The reason for this error is this: In the original smt file, there's a declaration of a parametric datatype `list`. When we call the tip tool on the file, types...

Tbh I was thinking along the lines of changing `ask` to read from input until it hits an empty line or something similarly crude.

Alright, I'll see about changing data structures then.

I think the code could use some explanation of what the `name` of a token/source location is.