{"shas":[["9076a7381316dd59b51db74c1c634c1cbc3995c8","408640eb0c100f875dbe3f1b67bd9a73ee0274f2@gmail.com","make calltips configurable in qtconsole\n\nadds FrontendWidget.enable_calltips configurable, with default behavior unchanged.\n\ncloses gh-694, closes gh-699 (rebased).","MinRK"]],"ref":"refs/heads/master","size":1,"head":"9076a7381316dd59b51db74c1c634c1cbc3995c8","push_id":39628633}