##// END OF EJS Templates
Merge pull request #2092 from bfroehle/prun_print_stats...
Merge pull request #2092 from bfroehle/prun_print_stats %prun: Restore `stats.stream` after running `print_stream` When profiling, the output from `print_stream` is captured so that the output can be paged. To do so, the `stream` attribute is set to a `StringIO` object but was not restored after the output was captured. As a result, the stats object returned by `%prun -r` did not display any output when calling its `print_stream` method. In addition, the `pstats.Stats` class has the `stream` attribute for all currently supported Python versions (2.6, 2.7, and 3.2, at least), so the extra branch of code can be removed. Closes #2091
Min RK -
r7959:965fc650 merge
Show More
Name Size Modified Last Commit Author
/ IPython / external / js
README Loading ...
jquery-1.7.1.js Loading ...
jquery-ui.css Loading ...
jquery-ui.js Loading ...
prettify.js Loading ...

We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.

Some package managers require full versions alongside minified,
and they can be dropped in here as necessary.

origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.min.js
jQueryUI menubar branch checkpoint: (generated by ant build from the source tree)

And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.js
jQueryUI version we ship: https://github.com/jquery/jquery-ui/tarball/ba8f147e4d69948aff4e956333098fb9360e3865
and the menubar branch in general: https://github.com/jquery/jquery-ui/tree/menubar