##// END OF EJS Templates
Merge pull request #6238 from ivanov/cm-heading-fonts...
Merge pull request #6238 from ivanov/cm-heading-fonts proportional font-size when editing heading cells

File last commit:

r17427:5f62fe4a
r17547:de3c13ca merge
Show More
logoutmain.js
10 lines | 282 B | application/javascript | JavascriptLexer
// Copyright (c) IPython Development Team.
// Distributed under the terms of the Modified BSD License.
var ipython = ipython || {};
require(['base/js/page'], function(page) {
var page_instance = new page.Page();
page_instance.show();
ipython.page = page_instance;
});