Claire cb6f445b90

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