Name	Size	Mode	Actions
__pycache__/	-	0755	rm
base_eventqueue.py	3840	0644	editdlrm
commands.py	12190	0644	editdlrm
completing_reader.py	10050	0644	editdlrm
console.py	6866	0644	editdlrm
curses.py	1241	0644	editdlrm
fancy_termios.py	2161	0644	editdlrm
historical_reader.py	13240	0644	editdlrm
input.py	3779	0644	editdlrm
keymap.py	6460	0644	editdlrm
main.py	1938	0644	editdlrm
mypy.ini	870	0644	editdlrm
pager.py	5815	0644	editdlrm
reader.py	27712	0644	editdlrm
readline.py	20219	0644	editdlrm
simple_interact.py	5768	0644	editdlrm
trace.py	433	0644	editdlrm
types.py	354	0644	editdlrm
unix_console.py	25637	0644	editdlrm
unix_eventqueue.py	2524	0644	editdlrm
utils.py	2232	0644	editdlrm
windows_console.py	21620	0644	editdlrm
windows_eventqueue.py	991	0644	editdlrm
_minimal_curses.py	1844	0644	editdlrm
_threading_handler.py	2170	0644	editdlrm
__init__.py	925	0644	editdlrm
__main__.py	422	0644	editdlrm

from __future__ import annotations import os # types if False: from typing import IO trace_file: IO[str] | None = None if trace_filename := os.environ.get("PYREPL_TRACE"): trace_file = open(trace_filename, "a") def trace(line: str, *k: object, **kw: object) -> None: if trace_file is None: return if k or kw: line = line.format(*k, **kw) trace_file.write(line + "\n") trace_file.flush()