##// 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
/ IPython / frontend / html / notebook / static / prettify
COPYING Loading ...
prettify.css Loading ...
prettify.js Loading ...