Fix history crash (bug with reopening editors) (#59)