Cleaned up Editor.__init__().