##// END OF EJS Templates
make calltips configurable in qtconsole...
make calltips configurable in qtconsole adds FrontendWidget.enable_calltips configurable, with default behavior unchanged. closes gh-694, closes gh-699 (rebased).

File last commit:

r1261:a818e11a merge
r4569:9076a738
Show More
update_version.sh
3 lines | 84 B | application/x-sh | BashLexer
#!/bin/sh
ver=`ipython -V`
sed "s/__version__/${ver}/" manual_base.lyx > manual.lyx