Zulip Chat Archive

Stream: mathlib4

Topic: Queueboard: persistent state vs. state from URLs


Michael Rothgang (Mar 03 2025 at 17:51):

@Kim Morrison asked:

Could the "entries per page" selectors be sticky? (e.g. persisted via cookie?)

@Bryan Gin-ge Chen thankfully implemented this in queueboard#64. With the brand-new change to allow table configuration from URL state (queueboard#65; announcement coming soon), this seems to run into a conflict. In local testing, I have certainly observed weird behaviour (of search parameters not being respected) which disappeared when the option was removed.

I can write more details tomorrow. For now, I just wanted to ask: if you could set the "entries per page" selectors via an URL parameter, is stickiness still important/required for you?

Michael Rothgang (Mar 03 2025 at 17:52):

CC @Johan Commelin for awareness/keeping important knowledge shared

Michael Rothgang (Mar 03 2025 at 17:53):

FWIW, I reverted that change temporarily - but am very open to discussing the best solution.


Last updated: May 02 2025 at 03:31 UTC