Show More
@@ -397,7 +397,7 b' class WxController(ConsoleWidget, PrefilterFrontEnd):' | |||||
397 | char = '\04' |
|
397 | char = '\04' | |
398 | self._running_process.process.stdin.write(char) |
|
398 | self._running_process.process.stdin.write(char) | |
399 | self._running_process.process.stdin.flush() |
|
399 | self._running_process.process.stdin.flush() | |
400 | elif event.KeyCode in (ord('('), 57): |
|
400 | elif event.KeyCode in (ord('('), 57, 53): | |
401 | # Calltips |
|
401 | # Calltips | |
402 | event.Skip() |
|
402 | event.Skip() | |
403 | self.do_calltip() |
|
403 | self.do_calltip() |
General Comments 0
You need to be logged in to leave comments.
Login now