On Tuesday, 8 September 2020 at 10:51:58 UTC, WebFreak001 wrote: > > the order of these buttons is probably very user-related Is there anyone who supports or hates my proposal ? :-) > > There is an undo function if you accidentally discard How does one undo ?