On Thu, May 28, 2009 at 14:10, Julien Danjou <[email protected]> wrote: >> Perhaps, in view of patch #2, the property should be called "hide" or >> "hidden" instead. > > Hum probably. But what about just removing the tag from the screen?
The main problem with this is that you then have to save the tag in some other table along with it's screen number and taglist index (to allow unhiding it in the same place it initially was). WIth dynamic tagging (variable number of tags) you'd also have to synchronize that taglist index etc. It basically seems like more hassle than literally skipping the taglist. koniu -- To unsubscribe, send mail to [email protected].
