-
Carlos Soriano authored
This is interesting for the desktop icons integration, so it can hide the undo/redo menu items appropriately.
533dceb8
This is interesting for the desktop icons integration, so it can hide the undo/redo menu items appropriately.