Show More
@@ -1268,8 +1268,12 b' want to merge them back into the new files.""" % locals()' | |||
|
1268 | 1268 | """Reload the input history from disk file.""" |
|
1269 | 1269 | |
|
1270 | 1270 | if self.has_readline: |
|
1271 | try: | |
|
1271 | 1272 | self.readline.clear_history() |
|
1272 | 1273 | self.readline.read_history_file(self.shell.histfile) |
|
1274 | except AttributeError: | |
|
1275 | pass | |
|
1276 | ||
|
1273 | 1277 | |
|
1274 | 1278 | def history_saving_wrapper(self, func): |
|
1275 | 1279 | """ Wrap func for readline history saving |
General Comments 0
You need to be logged in to leave comments.
Login now