Closed wkeese closed 9 years ago
For consistency reasons should we do the same on remove?
Agreed. I added that in 936e34fef0e230603eda655f6a17cf7002771dc0. Anything else?
Anything else?
No I should be all set. But that's just looking at the PR code, I have not yet tested on my actual use-case however but I'm confident it should solve it.
OK. I pushed as 666303a3f552f584a0f9b3f4f65f153677f7b711.
Fixes #403.
@cjolif, how's this look? It's for TabBar to use.