seminars If the "saved" knowl is open and another filter toggle or filter name is clicked, close the "saved" knowl.

If the "saved" knowl is open and another filter toggle or filter name is clicked, close the "saved" knowl.

Open poonen opened this issue 4 years ago • 3 comments

Maybe "saved" shouldn't have a knowl at all; it is rather different from the other filter words in terms of what happens when you click it.

Well, maybe it would be too confusing if it didn't have a knowl.

May 18 '20 05:05 poonen

See also #529.

May 18 '20 05:05 poonen

Agreed, it shouldn't be a knowl.

May 18 '20 05:05 roed314

@roed314: If you change the behavior of "saved", let me know so that I can update the Filter knowl accordingly.

May 18 '20 21:05 poonen