##// 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
/ ... / html / notebook / static / codemirror / lib
util
codemirror.css Loading ...
codemirror.js Loading ...