Thanks Christian and Sergey for commenting on the Opinion status -- I did intend for it to be "needs discussion".
I'm not opposed to the idea at all, but I don't know of a solid implementation that we could use. The code linked above is slightly visually glitchy on my machine -- I just compiled it.
Thanks Christian and Sergey for commenting on the Opinion status -- I did intend for it to be "needs discussion".
I'm not opposed to the idea at all, but I don't know of a solid implementation that we could use. The code linked above is slightly visually glitchy on my machine -- I just compiled it.