##// END OF EJS Templates
Hook up command history and populate it from IPython's history DB
Thomas Kluyver -
Show More
@@ -1,64 +1,76 b''
1 1 from IPython.core.interactiveshell import InteractiveShell
2 2
3 from prompt_toolkit.history import InMemoryHistory
3 4 from prompt_toolkit.shortcuts import create_prompt_application
4 5 from prompt_toolkit.interface import CommandLineInterface
5 6 from prompt_toolkit.key_binding.manager import KeyBindingManager
6 7 from prompt_toolkit.keys import Keys
7 8 from prompt_toolkit.layout.lexers import PygmentsLexer
8 9
9 10 from pygments.lexers import Python3Lexer
10 11 from pygments.token import Token
11 12
12 13
13 14 class PTInteractiveShell(InteractiveShell):
14 15 pt_cli = None
15 16
16 17 def get_prompt_tokens(self, cli):
17 18 return [
18 19 (Token.Prompt, 'In ['),
19 20 (Token.Prompt, str(self.execution_count)),
20 21 (Token.Prompt, ']: '),
21 22 ]
22 23
23 24
24 25 def init_prompt_toolkit_cli(self):
25 26 kbmanager = KeyBindingManager.for_prompt()
26 27 @kbmanager.registry.add_binding(Keys.ControlJ) # Ctrl+J == Enter, seemingly
27 28 def _(event):
28 29 b = event.current_buffer
29 30 if not b.document.on_last_line:
30 31 b.newline()
31 32 return
32 33
33 34 status, indent = self.input_splitter.check_complete(b.document.text)
34 35
35 36 if (status != 'incomplete') and b.accept_action.is_returnable:
36 37 b.accept_action.validate_and_handle(event.cli, b)
37 38 else:
38 b.insert_text('\n' + (' ' * indent))
39 b.insert_text('\n' + (' ' * (indent or 0)))
40
41 # Pre-populate history from IPython's history database
42 history = InMemoryHistory()
43 last_cell = u""
44 for _, _, cell in self.history_manager.get_tail(self.history_load_length,
45 include_latest=True):
46 # Ignore blank lines and consecutive duplicates
47 cell = cell.rstrip()
48 if cell and (cell != last_cell):
49 history.append(cell)
39 50
40 51 app = create_prompt_application(multiline=True,
41 52 lexer=PygmentsLexer(Python3Lexer),
42 53 get_prompt_tokens=self.get_prompt_tokens,
43 54 key_bindings_registry=kbmanager.registry,
55 history=history,
44 56 )
45 57
46 58 self.pt_cli = CommandLineInterface(app)
47 59
48 60 def __init__(self, *args, **kwargs):
49 61 super(PTInteractiveShell, self).__init__(*args, **kwargs)
50 62 self.init_prompt_toolkit_cli()
51 63 self.keep_running = True
52 64
53 65 def ask_exit(self):
54 66 self.keep_running = False
55 67
56 68 def interact(self):
57 69 while self.keep_running:
58 70 document = self.pt_cli.run()
59 71 if document:
60 72 self.run_cell(document.text, store_history=True)
61 73
62 74
63 75 if __name__ == '__main__':
64 76 PTInteractiveShell().interact()
General Comments 0
You need to be logged in to leave comments. Login now