##// END OF EJS Templates
Merge pull request #928 from punchagan/font-size-shortcut-context...
Merge pull request #928 from punchagan/font-size-shortcut-context BUG: Set context for font size change shortcuts in ConsoleWidget

File last commit:

r3408:261328d5
r5193:444cde75 merge
Show More
__init__.py
4 lines | 74 B | text/x-python | PythonLexer
try:
from mglob import *
except ImportError:
from _mglob import *