Changes done by hide/show tool are now taken into account by the undo/redo tool