Skip to content
This repository

make calltips configurable in qtconsole #699

Closed
wants to merge 1 commit into from

2 participants

Min RK Fernando Perez
Min RK
Owner

adds FrontendWidget.enable_calltips configurable, so users can disable the calltips.

Should close #694

Min RK make calltips configurable in qtconsole
adds FrontendWidget.enable_calltips configurable, with default behavior unchanged.

closes gh-694
f1c6119
Fernando Perez
Owner

+1, merge.

Min RK minrk closed this pull request from a commit August 15, 2011
Min RK make calltips configurable in qtconsole
adds FrontendWidget.enable_calltips configurable, with default behavior unchanged.

closes gh-694, closes gh-699 (rebased).
9076a73
Min RK minrk closed this in 9076a73 August 15, 2011
Fernando Perez
Owner

Done, I simply rebased to avoid the merge handle for just one commit.

Fernando Perez fperez referenced this pull request from a commit January 10, 2012
Commit has since been removed from the repository and is no longer available.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Showing 1 unique commit by 1 author.

Aug 15, 2011
Min RK make calltips configurable in qtconsole
adds FrontendWidget.enable_calltips configurable, with default behavior unchanged.

closes gh-694
f1c6119
This page is out of date. Refresh to see the latest.
5  IPython/frontend/qt/console/frontend_widget.py
@@ -75,6 +75,9 @@ class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):
75 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 81
     # An option and corresponding signal for overriding the default kernel
79 82
     # interrupt behavior.
80 83
     custom_interrupt = Bool(False)
@@ -508,6 +511,8 @@ def _call_tip(self):
508 511
         """ Shows a call tip, if appropriate, at the current cursor location.
509 512
         """
510 513
         # Decide if it makes sense to show a call tip
  514
+        if not self.enable_calltips:
  515
+            return False
511 516
         cursor = self._get_cursor()
512 517
         cursor.movePosition(QtGui.QTextCursor.Left)
513 518
         if cursor.document().characterAt(cursor.position()) != '(':
Commit_comment_tip

Tip: You can add notes to lines in a file. Hover to the left of a line to make a note

Something went wrong with that request. Please try again.