Yeah maybe, I'd have to play around with both to see which is less annoying.

		IshKebab on Nov 11, 2022 \| parent \| context \| favorite \| on: Resolving the great undo-redo quandary Yeah maybe, I'd have to play around with both to see which is less annoying.