##// END OF EJS Templates
Change types of some config items and adjust code accordingly...
Change types of some config items and adjust code accordingly Use Integer and Float instead of CInt and CFloat (per MinRK) Use ms instead of seconds for check period as the "HeartMonitor.period" also uses ms. Signed-off-by: Jan Schulz <jasc@gmx.net>
Jan Schulz -
r8287:1719e9da
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