##// END OF EJS Templates
BUG: Completion widget position and pager focus....
BUG: Completion widget position and pager focus. When the console widget is used with gui-completion, the positioning of the completion widget was incorrect the first time a completion was performed since the size of the widget is initially bogus. Using sizeHint fixes this. If the paging mode is set to vsplit/hsplit, the focus was lost after the pager is quit.

File last commit:

r4669:45cf1867
r4976:a5fbb809
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