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