

def __save_history(self):
    indent.debug(('Saving the history to file ' + self.HISTORY_FILE))
    with open(self.HISTORY_FILE, mode='w+') as f:
        indent = (self.INDENT_SIZE if self.PRETTIFY_HISTORY else None)
        json.dump(self.history, f, indent=indent)
        f.flush()
    invoke_async((lambda : self.__manage_backups()), 0)

dataset/ETHPy150Open FichteFoll/FileHistory/file_history.py FileHistory.__save_history/VarMisuse@10/13 `self`->`indent`