##// 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:

r4669:45cf1867
r5193:444cde75 merge
Show More
__init__.py
11 lines | 319 B | text/x-python | PythonLexer
try:
import argparse
# don't use system argparse if older than 1.1:
if argparse.__version__ < '1.1':
raise ImportError
else:
from argparse import *
from argparse import SUPPRESS
except (ImportError, AttributeError):
from _argparse import *
from _argparse import SUPPRESS