# HG changeset patch
# User Mitesh Patel <qed777@gmail.com>
# Date 1241648734 25200
# Node ID cb50733a1d7c2b669a5efbb7d4750c3dad48a0fc
# Parent 3d7fce9264e936d6978bc1bc3f199b55fea431cd
Tear out notebook docstrings into new window. Separate file: introspect.js
diff --git a/doc/introspect/templates/layout.html b/doc/introspect/templates/layout.html
a
|
b
|
|
1 | 1 | <div class="docstring"> |
| 2 | <div class="docstring_header"> |
| 3 | <table style="width: 100%;"> |
| 4 | <tbody> |
| 5 | <tr> |
| 6 | <td class="docstring_name" align="left" style="color: black;"> |
| 7 | </td> |
| 8 | <td class="docstring_toolbar" align="right" style="color: black;"> |
| 9 | <a href="#" onclick="introspect.open($(this));">ooo</a> |
| 10 | | <a href="#" onclick="introspect.close($(this));">xxx</a> |
| 11 | | <a href="#" onclick="introspect.font_smaller($(this));">aaa</a> |
| 12 | | <a href="#" onclick="introspect.font_reset($(this));">---</a> |
| 13 | | <a href="#" onclick="introspect.font_larger($(this));">AAA</a> |
| 14 | | <a href="#" onclick="introspect.toggle($(this));">tog</a> |
| 15 | </td> |
| 16 | </tr> |
| 17 | </tbody> |
| 18 | </table> |
| 19 | </div> |
| 20 | <div class="docstring_proper"> |
2 | 21 | {% block body %} {% endblock %} |
| 22 | </div> |
3 | 23 | </div> |
diff --git a/sage/server/notebook/notebook.py b/sage/server/notebook/notebook.py
a
|
b
|
|
1787 | 1787 | # <script type="text/javascript" src="/javascript_local/jqueryui/ui.resizable.min.js"></script> |
1788 | 1788 | # <script type="text/javascript" src="/javascript_local/jqueryui/ui.dialog.min.js"></script> |
1789 | 1789 | |
| 1790 | head += '<script type="text/javascript" src="/javascript_local/introspect.js"></script>\n' |
1790 | 1791 | |
1791 | 1792 | # This was for syntax hilighting |
1792 | 1793 | # head +=' <script type="text/javascript" src="/javascript/highlight/prettify.js"></script>\n' |