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