- From: Johannes Wilm <notifications@github.com>
- Date: Thu, 02 May 2024 08:37:53 -0700
- To: w3c/editing <editing@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 2 May 2024 15:37:57 UTC
I wrote: > I will close this issue now as the proposal isn;t needed with the undo manager being present, but feel free to continue posting here. At that time that no browser maker was against that alternative solution to the same problem. Since then, I don't think much gas happened with the undo manager. We can reopen if we want to discuss this again. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/editing/issues/150#issuecomment-2090828317 You are receiving this because you are subscribed to this thread. Message ID: <w3c/editing/issues/150/2090828317@github.com>
Received on Thursday, 2 May 2024 15:37:57 UTC