Skip to content

Selection state is now fully double buffered and has interior mutability#4387

Merged
Wumpf merged 2 commits intomainfrom andreas/non-mut-ctxNov 29, 2023