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