André A. Gomes
André A. Gomes
Pushed an alpha version. **Not** ready for review.
I think we're very close to having a new `search-buffer` mechanism that greatly improves the previous one. I'm looking for beta testers who are eager to find bugs and corners...
@jmercouris try out commit 909604bd6. Do you like it?
@jmercouris great idea, thanks! I've polished it a bit further. Notice that this new styling exposes something that was camouflaged before. Search for "dicots, and grow" in our famous wikipedia...
> I suggest we just don't worry about it, it isn't really a breaking bug. What do you think? Seems sensible. We'll try to vertical animation together and evaluate the...
Closed in favor of #2908.
@heiwiper I can't help much on this topic, but @aartaka may be able to help you. With respect to debugging, my advice is as follows. Write an HTML file that...
Beyond the scope for 3.0 in my opinion. I can't commit to this.
@aartaka maybe post 3.0 work?
Thanks @aartaka.