Claire b13b71d1f5 Greatly simplify history management code (#2230) ... Fixes #2220 This drops the ability to shift+click on “Back” to get back to a pinned column, but that was inconsistent, broken, and undocumented. This also brings us slightly closer to upstream.		2023-05-25 19:14:51 +02:00
..
glitch	Greatly simplify history management code (#2230)	2023-05-25 19:14:51 +02:00
vanilla	Fix building vanilla flavor after JSX change	2023-02-25 14:28:59 +01:00