##// END OF EJS Templates
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution

File last commit:

r2732:60cab731
r14248:94c28bc6
Show More
__init__.py
2 lines | 78 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
"""This directory is meant for IPython extensions."""