“Revert to saved…” seems to always be greyed out.
For example if I open a wave-file, create a selection within and then remove the selection,
shouldn’t “Revert to saved…” become active ?
I think it worked this way before ?
In regards to the Undo/Redo function:
I noticed in above example, that if I undo the removal of the selection,
the Edit functions for the selection like Cut, Copy, and also Trim, Remove, Fast Mute
are unavailable (greyed out) after the Undo.