Show More
@@ -301,7 +301,7 b' class InteractiveShell(Configurable, Magic):' | |||||
301 | @property |
|
301 | @property | |
302 | def db(self): |
|
302 | def db(self): | |
303 | return self.history_manager.shadow_db |
|
303 | return self.history_manager.shadow_db | |
304 |
|
304 | |||
305 | @classmethod |
|
305 | @classmethod | |
306 | def instance(cls, *args, **kwargs): |
|
306 | def instance(cls, *args, **kwargs): | |
307 | """Returns a global InteractiveShell instance.""" |
|
307 | """Returns a global InteractiveShell instance.""" | |
@@ -1263,6 +1263,10 b' class InteractiveShell(Configurable, Magic):' | |||||
1263 | finally: |
|
1263 | finally: | |
1264 | self.reload_history() |
|
1264 | self.reload_history() | |
1265 | return wrapper |
|
1265 | return wrapper | |
|
1266 | ||||
|
1267 | def get_history(self, index=None, raw=False, output=True): | |||
|
1268 | return self.history_manager.get_history(index, raw, output) | |||
|
1269 | ||||
1266 |
|
1270 | |||
1267 | #------------------------------------------------------------------------- |
|
1271 | #------------------------------------------------------------------------- | |
1268 | # Things related to exception handling and tracebacks (not debugging) |
|
1272 | # Things related to exception handling and tracebacks (not debugging) |
@@ -184,8 +184,7 b' class IPythonWidget(FrontendWidget):' | |||||
184 | """ Reimplemented to make a history request. |
|
184 | """ Reimplemented to make a history request. | |
185 | """ |
|
185 | """ | |
186 | super(IPythonWidget, self)._started_channels() |
|
186 | super(IPythonWidget, self)._started_channels() | |
187 | # FIXME: Disabled until history requests are properly implemented. |
|
187 | self.kernel_manager.xreq_channel.history(raw=True, output=False) | |
188 | #self.kernel_manager.xreq_channel.history(raw=True, output=False) |
|
|||
189 |
|
188 | |||
190 | #--------------------------------------------------------------------------- |
|
189 | #--------------------------------------------------------------------------- | |
191 | # 'ConsoleWidget' public interface |
|
190 | # 'ConsoleWidget' public interface |
General Comments 0
You need to be logged in to leave comments.
Login now