Undo and Redo For CSS File editing

Undo and Redo For CSS File editing

image

I see them and they are usable, but once you have saved using keyboard the option to undo disappears.

This might be a bug…