Name	Size	Mode	Actions
__pycache__/	-	0755	rm
Cat.py	4088	0644	editdlrm
cmd.py	15070	0644	editdlrm
Code.py	1056	0644	editdlrm
Descriptor.py	903	0644	editdlrm
etc.py	1697	0644	editdlrm
FSA.py	7376	0644	editdlrm
Glue.py	14006	0644	editdlrm
Help.py	6873	0644	editdlrm
IterPermute.py	2273	0644	editdlrm
KanExtension.py	21205	0644	editdlrm
KnuthBendix.py	9023	0644	editdlrm
RE.py	24154	0644	editdlrm
RE_Rect.py	10635	0644	editdlrm
textView.py	3146	0644	editdlrm
tkcursors.py	2177	0644	editdlrm
xterm.py	2365	0644	editdlrm
__init__.py	87	0644	editdlrm

import functools import inspect class property_nondata: '''@property, but using non-data descriptor protocol''' def __init__(self, fget): self.fget = fget functools.update_wrapper(self, fget) def __get__(self, instance, owner=None): return self.fget(instance) class property_exp(property): '''@property, but blacklist tab completers like rlcompleter from getattr''' def __init__(self, fget, *, doc=None): super().__init__(fget) self.__doc__ = doc def __get__(self, instance, owner=None): try: frame = inspect.currentframe() try: frame = frame.f_back if frame.f_globals['__name__'] == 'rlcompleter': return None finally: del frame except Exception: pass return super().__get__(instance, owner)