##// END OF EJS Templates
protect Widget._style_sheet_changed from being called before _control exists...
protect Widget._style_sheet_changed from being called before _control exists also ensure _control attributes start out as None, rather than undefined
MinRK -
r6055:d5055887
Show More
Name Size Modified Last Commit Author
/ ... / notebook / static / codemirror / mode / markdown
index.html Loading ...
markdown.js Loading ...