fileGUI: change behavior of clipboard manager when it is cleared.