A gedit plugin to reopen recently-closed files ("undo close tab")