##// 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 / css
css.js Loading ...
index.html Loading ...