On Wed, Mar 30, 2016 at 3:06 PM, Rainer Mohr <[email protected]> wrote: > > >- Filter / search the list for dive spots / countries / locations. A good >>> >place would be to push down the list when at the top to reveal a search >>> box >>> >>
> In a way this is the same as the previous request (at least they sound the >> same to me). Same answer. Feel free to file trac requests so once we are >> done with the things that urgently need to be implemented we can come back >> to this, but for now I don't think that's something I'll be spending time >> on. >> > > Um, no, I mean just make the whole thing searchable, so it shows me only > the dives containing what I entered in the search field. I type "Palau" and > the list just gets reduced to dives contain that phrase. I would love this feature. Henrik
_______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
