Show More
@@ -75,6 +75,9 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||||
75 | """ A Qt frontend for a generic Python kernel. |
|
75 | """ A Qt frontend for a generic Python kernel. | |
76 | """ |
|
76 | """ | |
77 |
|
77 | |||
|
78 | enable_calltips = Bool(True, config=True, | |||
|
79 | help="Whether to draw information calltips on open-parentheses.") | |||
|
80 | ||||
78 | # An option and corresponding signal for overriding the default kernel |
|
81 | # An option and corresponding signal for overriding the default kernel | |
79 | # interrupt behavior. |
|
82 | # interrupt behavior. | |
80 | custom_interrupt = Bool(False) |
|
83 | custom_interrupt = Bool(False) | |
@@ -508,6 +511,8 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||||
508 | """ Shows a call tip, if appropriate, at the current cursor location. |
|
511 | """ Shows a call tip, if appropriate, at the current cursor location. | |
509 | """ |
|
512 | """ | |
510 | # Decide if it makes sense to show a call tip |
|
513 | # Decide if it makes sense to show a call tip | |
|
514 | if not self.enable_calltips: | |||
|
515 | return False | |||
511 | cursor = self._get_cursor() |
|
516 | cursor = self._get_cursor() | |
512 | cursor.movePosition(QtGui.QTextCursor.Left) |
|
517 | cursor.movePosition(QtGui.QTextCursor.Left) | |
513 | if cursor.document().characterAt(cursor.position()) != '(': |
|
518 | if cursor.document().characterAt(cursor.position()) != '(': |
General Comments 0
You need to be logged in to leave comments.
Login now