Fix undo/redo in navigator in Windows