|
from __future__ import annotations |
|
|
|
import os |
|
import sys |
|
from abc import abstractmethod |
|
from asyncio import get_running_loop |
|
from contextlib import contextmanager |
|
|
|
from ..utils import SPHINX_AUTODOC_RUNNING |
|
|
|
assert sys.platform == "win32" |
|
|
|
|
|
|
|
if not SPHINX_AUTODOC_RUNNING: |
|
import msvcrt |
|
from ctypes import windll |
|
|
|
from ctypes import Array, byref, pointer |
|
from ctypes.wintypes import DWORD, HANDLE |
|
from typing import Callable, ContextManager, Iterable, Iterator, TextIO |
|
|
|
from prompt_toolkit.eventloop import run_in_executor_with_context |
|
from prompt_toolkit.eventloop.win32 import create_win32_event, wait_for_handles |
|
from prompt_toolkit.key_binding.key_processor import KeyPress |
|
from prompt_toolkit.keys import Keys |
|
from prompt_toolkit.mouse_events import MouseButton, MouseEventType |
|
from prompt_toolkit.win32_types import ( |
|
INPUT_RECORD, |
|
KEY_EVENT_RECORD, |
|
MOUSE_EVENT_RECORD, |
|
STD_INPUT_HANDLE, |
|
EventTypes, |
|
) |
|
|
|
from .ansi_escape_sequences import REVERSE_ANSI_SEQUENCES |
|
from .base import Input |
|
from .vt100_parser import Vt100Parser |
|
|
|
__all__ = [ |
|
"Win32Input", |
|
"ConsoleInputReader", |
|
"raw_mode", |
|
"cooked_mode", |
|
"attach_win32_input", |
|
"detach_win32_input", |
|
] |
|
|
|
|
|
|
|
FROM_LEFT_1ST_BUTTON_PRESSED = 0x1 |
|
RIGHTMOST_BUTTON_PRESSED = 0x2 |
|
MOUSE_MOVED = 0x0001 |
|
MOUSE_WHEELED = 0x0004 |
|
|
|
|
|
ENABLE_VIRTUAL_TERMINAL_INPUT = 0x0200 |
|
|
|
|
|
class _Win32InputBase(Input): |
|
""" |
|
Base class for `Win32Input` and `Win32PipeInput`. |
|
""" |
|
|
|
def __init__(self) -> None: |
|
self.win32_handles = _Win32Handles() |
|
|
|
@property |
|
@abstractmethod |
|
def handle(self) -> HANDLE: |
|
pass |
|
|
|
|
|
class Win32Input(_Win32InputBase): |
|
""" |
|
`Input` class that reads from the Windows console. |
|
""" |
|
|
|
def __init__(self, stdin: TextIO | None = None) -> None: |
|
super().__init__() |
|
self._use_virtual_terminal_input = _is_win_vt100_input_enabled() |
|
|
|
self.console_input_reader: Vt100ConsoleInputReader | ConsoleInputReader |
|
|
|
if self._use_virtual_terminal_input: |
|
self.console_input_reader = Vt100ConsoleInputReader() |
|
else: |
|
self.console_input_reader = ConsoleInputReader() |
|
|
|
def attach(self, input_ready_callback: Callable[[], None]) -> ContextManager[None]: |
|
""" |
|
Return a context manager that makes this input active in the current |
|
event loop. |
|
""" |
|
return attach_win32_input(self, input_ready_callback) |
|
|
|
def detach(self) -> ContextManager[None]: |
|
""" |
|
Return a context manager that makes sure that this input is not active |
|
in the current event loop. |
|
""" |
|
return detach_win32_input(self) |
|
|
|
def read_keys(self) -> list[KeyPress]: |
|
return list(self.console_input_reader.read()) |
|
|
|
def flush(self) -> None: |
|
pass |
|
|
|
@property |
|
def closed(self) -> bool: |
|
return False |
|
|
|
def raw_mode(self) -> ContextManager[None]: |
|
return raw_mode( |
|
use_win10_virtual_terminal_input=self._use_virtual_terminal_input |
|
) |
|
|
|
def cooked_mode(self) -> ContextManager[None]: |
|
return cooked_mode() |
|
|
|
def fileno(self) -> int: |
|
|
|
|
|
|
|
|
|
return sys.stdin.fileno() |
|
|
|
def typeahead_hash(self) -> str: |
|
return "win32-input" |
|
|
|
def close(self) -> None: |
|
self.console_input_reader.close() |
|
|
|
@property |
|
def handle(self) -> HANDLE: |
|
return self.console_input_reader.handle |
|
|
|
|
|
class ConsoleInputReader: |
|
""" |
|
:param recognize_paste: When True, try to discover paste actions and turn |
|
the event into a BracketedPaste. |
|
""" |
|
|
|
|
|
mappings = { |
|
b"\x1b": Keys.Escape, |
|
b"\x00": Keys.ControlSpace, |
|
b"\x01": Keys.ControlA, |
|
b"\x02": Keys.ControlB, |
|
b"\x03": Keys.ControlC, |
|
b"\x04": Keys.ControlD, |
|
b"\x05": Keys.ControlE, |
|
b"\x06": Keys.ControlF, |
|
b"\x07": Keys.ControlG, |
|
b"\x08": Keys.ControlH, |
|
b"\x09": Keys.ControlI, |
|
b"\x0a": Keys.ControlJ, |
|
b"\x0b": Keys.ControlK, |
|
b"\x0c": Keys.ControlL, |
|
b"\x0d": Keys.ControlM, |
|
b"\x0e": Keys.ControlN, |
|
b"\x0f": Keys.ControlO, |
|
b"\x10": Keys.ControlP, |
|
b"\x11": Keys.ControlQ, |
|
b"\x12": Keys.ControlR, |
|
b"\x13": Keys.ControlS, |
|
b"\x14": Keys.ControlT, |
|
b"\x15": Keys.ControlU, |
|
b"\x16": Keys.ControlV, |
|
b"\x17": Keys.ControlW, |
|
b"\x18": Keys.ControlX, |
|
b"\x19": Keys.ControlY, |
|
b"\x1a": Keys.ControlZ, |
|
b"\x1c": Keys.ControlBackslash, |
|
b"\x1d": Keys.ControlSquareClose, |
|
b"\x1e": Keys.ControlCircumflex, |
|
b"\x1f": Keys.ControlUnderscore, |
|
b"\x7f": Keys.Backspace, |
|
} |
|
|
|
|
|
keycodes = { |
|
|
|
33: Keys.PageUp, |
|
34: Keys.PageDown, |
|
35: Keys.End, |
|
36: Keys.Home, |
|
|
|
37: Keys.Left, |
|
38: Keys.Up, |
|
39: Keys.Right, |
|
40: Keys.Down, |
|
45: Keys.Insert, |
|
46: Keys.Delete, |
|
|
|
112: Keys.F1, |
|
113: Keys.F2, |
|
114: Keys.F3, |
|
115: Keys.F4, |
|
116: Keys.F5, |
|
117: Keys.F6, |
|
118: Keys.F7, |
|
119: Keys.F8, |
|
120: Keys.F9, |
|
121: Keys.F10, |
|
122: Keys.F11, |
|
123: Keys.F12, |
|
} |
|
|
|
LEFT_ALT_PRESSED = 0x0002 |
|
RIGHT_ALT_PRESSED = 0x0001 |
|
SHIFT_PRESSED = 0x0010 |
|
LEFT_CTRL_PRESSED = 0x0008 |
|
RIGHT_CTRL_PRESSED = 0x0004 |
|
|
|
def __init__(self, recognize_paste: bool = True) -> None: |
|
self._fdcon = None |
|
self.recognize_paste = recognize_paste |
|
|
|
|
|
|
|
self.handle: HANDLE |
|
if sys.stdin.isatty(): |
|
self.handle = HANDLE(windll.kernel32.GetStdHandle(STD_INPUT_HANDLE)) |
|
else: |
|
self._fdcon = os.open("CONIN$", os.O_RDWR | os.O_BINARY) |
|
self.handle = HANDLE(msvcrt.get_osfhandle(self._fdcon)) |
|
|
|
def close(self) -> None: |
|
"Close fdcon." |
|
if self._fdcon is not None: |
|
os.close(self._fdcon) |
|
|
|
def read(self) -> Iterable[KeyPress]: |
|
""" |
|
Return a list of `KeyPress` instances. It won't return anything when |
|
there was nothing to read. (This function doesn't block.) |
|
|
|
http://msdn.microsoft.com/en-us/library/windows/desktop/ms684961(v=vs.85).aspx |
|
""" |
|
max_count = 2048 |
|
|
|
read = DWORD(0) |
|
arrtype = INPUT_RECORD * max_count |
|
input_records = arrtype() |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if not wait_for_handles([self.handle], timeout=0): |
|
return |
|
|
|
|
|
windll.kernel32.ReadConsoleInputW( |
|
self.handle, pointer(input_records), max_count, pointer(read) |
|
) |
|
|
|
|
|
|
|
all_keys = list(self._get_keys(read, input_records)) |
|
|
|
|
|
all_keys = [self._insert_key_data(key) for key in all_keys] |
|
|
|
|
|
all_keys = list(self._merge_paired_surrogates(all_keys)) |
|
|
|
if self.recognize_paste and self._is_paste(all_keys): |
|
gen = iter(all_keys) |
|
k: KeyPress | None |
|
|
|
for k in gen: |
|
|
|
|
|
data = [] |
|
while k and ( |
|
not isinstance(k.key, Keys) |
|
or k.key in {Keys.ControlJ, Keys.ControlM} |
|
): |
|
data.append(k.data) |
|
try: |
|
k = next(gen) |
|
except StopIteration: |
|
k = None |
|
|
|
if data: |
|
yield KeyPress(Keys.BracketedPaste, "".join(data)) |
|
if k is not None: |
|
yield k |
|
else: |
|
yield from all_keys |
|
|
|
def _insert_key_data(self, key_press: KeyPress) -> KeyPress: |
|
""" |
|
Insert KeyPress data, for vt100 compatibility. |
|
""" |
|
if key_press.data: |
|
return key_press |
|
|
|
if isinstance(key_press.key, Keys): |
|
data = REVERSE_ANSI_SEQUENCES.get(key_press.key, "") |
|
else: |
|
data = "" |
|
|
|
return KeyPress(key_press.key, data) |
|
|
|
def _get_keys( |
|
self, read: DWORD, input_records: Array[INPUT_RECORD] |
|
) -> Iterator[KeyPress]: |
|
""" |
|
Generator that yields `KeyPress` objects from the input records. |
|
""" |
|
for i in range(read.value): |
|
ir = input_records[i] |
|
|
|
|
|
|
|
|
|
|
|
if ir.EventType in EventTypes: |
|
ev = getattr(ir.Event, EventTypes[ir.EventType]) |
|
|
|
|
|
|
|
if isinstance(ev, KEY_EVENT_RECORD) and ev.KeyDown: |
|
yield from self._event_to_key_presses(ev) |
|
|
|
elif isinstance(ev, MOUSE_EVENT_RECORD): |
|
yield from self._handle_mouse(ev) |
|
|
|
@staticmethod |
|
def _merge_paired_surrogates(key_presses: list[KeyPress]) -> Iterator[KeyPress]: |
|
""" |
|
Combines consecutive KeyPresses with high and low surrogates into |
|
single characters |
|
""" |
|
buffered_high_surrogate = None |
|
for key in key_presses: |
|
is_text = not isinstance(key.key, Keys) |
|
is_high_surrogate = is_text and "\ud800" <= key.key <= "\udbff" |
|
is_low_surrogate = is_text and "\udc00" <= key.key <= "\udfff" |
|
|
|
if buffered_high_surrogate: |
|
if is_low_surrogate: |
|
|
|
fullchar = ( |
|
(buffered_high_surrogate.key + key.key) |
|
.encode("utf-16-le", "surrogatepass") |
|
.decode("utf-16-le") |
|
) |
|
key = KeyPress(fullchar, fullchar) |
|
else: |
|
yield buffered_high_surrogate |
|
buffered_high_surrogate = None |
|
|
|
if is_high_surrogate: |
|
buffered_high_surrogate = key |
|
else: |
|
yield key |
|
|
|
if buffered_high_surrogate: |
|
yield buffered_high_surrogate |
|
|
|
@staticmethod |
|
def _is_paste(keys: list[KeyPress]) -> bool: |
|
""" |
|
Return `True` when we should consider this list of keys as a paste |
|
event. Pasted text on windows will be turned into a |
|
`Keys.BracketedPaste` event. (It's not 100% correct, but it is probably |
|
the best possible way to detect pasting of text and handle that |
|
correctly.) |
|
""" |
|
|
|
|
|
text_count = 0 |
|
newline_count = 0 |
|
|
|
for k in keys: |
|
if not isinstance(k.key, Keys): |
|
text_count += 1 |
|
if k.key == Keys.ControlM: |
|
newline_count += 1 |
|
|
|
return newline_count >= 1 and text_count >= 1 |
|
|
|
def _event_to_key_presses(self, ev: KEY_EVENT_RECORD) -> list[KeyPress]: |
|
""" |
|
For this `KEY_EVENT_RECORD`, return a list of `KeyPress` instances. |
|
""" |
|
assert isinstance(ev, KEY_EVENT_RECORD) and ev.KeyDown |
|
|
|
result: KeyPress | None = None |
|
|
|
control_key_state = ev.ControlKeyState |
|
u_char = ev.uChar.UnicodeChar |
|
|
|
ascii_char = u_char.encode("utf-8", "surrogatepass") |
|
|
|
|
|
|
|
|
|
|
|
|
|
if u_char == "\x00": |
|
if ev.VirtualKeyCode in self.keycodes: |
|
result = KeyPress(self.keycodes[ev.VirtualKeyCode], "") |
|
else: |
|
if ascii_char in self.mappings: |
|
if self.mappings[ascii_char] == Keys.ControlJ: |
|
u_char = ( |
|
"\n" |
|
) |
|
result = KeyPress(self.mappings[ascii_char], u_char) |
|
else: |
|
result = KeyPress(u_char, u_char) |
|
|
|
|
|
if ( |
|
( |
|
control_key_state & self.LEFT_CTRL_PRESSED |
|
or control_key_state & self.RIGHT_CTRL_PRESSED |
|
) |
|
and control_key_state & self.SHIFT_PRESSED |
|
and result |
|
): |
|
mapping: dict[str, str] = { |
|
Keys.Left: Keys.ControlShiftLeft, |
|
Keys.Right: Keys.ControlShiftRight, |
|
Keys.Up: Keys.ControlShiftUp, |
|
Keys.Down: Keys.ControlShiftDown, |
|
Keys.Home: Keys.ControlShiftHome, |
|
Keys.End: Keys.ControlShiftEnd, |
|
Keys.Insert: Keys.ControlShiftInsert, |
|
Keys.PageUp: Keys.ControlShiftPageUp, |
|
Keys.PageDown: Keys.ControlShiftPageDown, |
|
} |
|
result.key = mapping.get(result.key, result.key) |
|
|
|
|
|
if ( |
|
control_key_state & self.LEFT_CTRL_PRESSED |
|
or control_key_state & self.RIGHT_CTRL_PRESSED |
|
) and result: |
|
mapping = { |
|
Keys.Left: Keys.ControlLeft, |
|
Keys.Right: Keys.ControlRight, |
|
Keys.Up: Keys.ControlUp, |
|
Keys.Down: Keys.ControlDown, |
|
Keys.Home: Keys.ControlHome, |
|
Keys.End: Keys.ControlEnd, |
|
Keys.Insert: Keys.ControlInsert, |
|
Keys.Delete: Keys.ControlDelete, |
|
Keys.PageUp: Keys.ControlPageUp, |
|
Keys.PageDown: Keys.ControlPageDown, |
|
} |
|
result.key = mapping.get(result.key, result.key) |
|
|
|
|
|
|
|
if control_key_state & self.SHIFT_PRESSED and result: |
|
mapping = { |
|
Keys.Tab: Keys.BackTab, |
|
Keys.Left: Keys.ShiftLeft, |
|
Keys.Right: Keys.ShiftRight, |
|
Keys.Up: Keys.ShiftUp, |
|
Keys.Down: Keys.ShiftDown, |
|
Keys.Home: Keys.ShiftHome, |
|
Keys.End: Keys.ShiftEnd, |
|
Keys.Insert: Keys.ShiftInsert, |
|
Keys.Delete: Keys.ShiftDelete, |
|
Keys.PageUp: Keys.ShiftPageUp, |
|
Keys.PageDown: Keys.ShiftPageDown, |
|
} |
|
result.key = mapping.get(result.key, result.key) |
|
|
|
|
|
if ( |
|
( |
|
control_key_state & self.LEFT_CTRL_PRESSED |
|
or control_key_state & self.RIGHT_CTRL_PRESSED |
|
) |
|
and result |
|
and result.data == " " |
|
): |
|
result = KeyPress(Keys.ControlSpace, " ") |
|
|
|
|
|
|
|
if ( |
|
( |
|
control_key_state & self.LEFT_CTRL_PRESSED |
|
or control_key_state & self.RIGHT_CTRL_PRESSED |
|
) |
|
and result |
|
and result.key == Keys.ControlJ |
|
): |
|
return [KeyPress(Keys.Escape, ""), result] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if result: |
|
meta_pressed = control_key_state & self.LEFT_ALT_PRESSED |
|
|
|
if meta_pressed: |
|
return [KeyPress(Keys.Escape, ""), result] |
|
else: |
|
return [result] |
|
|
|
else: |
|
return [] |
|
|
|
def _handle_mouse(self, ev: MOUSE_EVENT_RECORD) -> list[KeyPress]: |
|
""" |
|
Handle mouse events. Return a list of KeyPress instances. |
|
""" |
|
event_flags = ev.EventFlags |
|
button_state = ev.ButtonState |
|
|
|
event_type: MouseEventType | None = None |
|
button: MouseButton = MouseButton.NONE |
|
|
|
|
|
if event_flags & MOUSE_WHEELED: |
|
if button_state > 0: |
|
event_type = MouseEventType.SCROLL_UP |
|
else: |
|
event_type = MouseEventType.SCROLL_DOWN |
|
else: |
|
|
|
if button_state == FROM_LEFT_1ST_BUTTON_PRESSED: |
|
button = MouseButton.LEFT |
|
|
|
elif button_state == RIGHTMOST_BUTTON_PRESSED: |
|
button = MouseButton.RIGHT |
|
|
|
|
|
if event_flags & MOUSE_MOVED: |
|
event_type = MouseEventType.MOUSE_MOVE |
|
|
|
|
|
if event_type is None: |
|
if button_state > 0: |
|
|
|
event_type = MouseEventType.MOUSE_DOWN |
|
else: |
|
|
|
event_type = MouseEventType.MOUSE_UP |
|
|
|
data = ";".join( |
|
[ |
|
button.value, |
|
event_type.value, |
|
str(ev.MousePosition.X), |
|
str(ev.MousePosition.Y), |
|
] |
|
) |
|
return [KeyPress(Keys.WindowsMouseEvent, data)] |
|
|
|
|
|
class Vt100ConsoleInputReader: |
|
""" |
|
Similar to `ConsoleInputReader`, but for usage when |
|
`ENABLE_VIRTUAL_TERMINAL_INPUT` is enabled. This assumes that Windows sends |
|
us the right vt100 escape sequences and we parse those with our vt100 |
|
parser. |
|
|
|
(Using this instead of `ConsoleInputReader` results in the "data" attribute |
|
from the `KeyPress` instances to be more correct in edge cases, because |
|
this responds to for instance the terminal being in application cursor keys |
|
mode.) |
|
""" |
|
|
|
def __init__(self) -> None: |
|
self._fdcon = None |
|
|
|
self._buffer: list[KeyPress] = [] |
|
self._vt100_parser = Vt100Parser( |
|
lambda key_press: self._buffer.append(key_press) |
|
) |
|
|
|
|
|
|
|
self.handle: HANDLE |
|
if sys.stdin.isatty(): |
|
self.handle = HANDLE(windll.kernel32.GetStdHandle(STD_INPUT_HANDLE)) |
|
else: |
|
self._fdcon = os.open("CONIN$", os.O_RDWR | os.O_BINARY) |
|
self.handle = HANDLE(msvcrt.get_osfhandle(self._fdcon)) |
|
|
|
def close(self) -> None: |
|
"Close fdcon." |
|
if self._fdcon is not None: |
|
os.close(self._fdcon) |
|
|
|
def read(self) -> Iterable[KeyPress]: |
|
""" |
|
Return a list of `KeyPress` instances. It won't return anything when |
|
there was nothing to read. (This function doesn't block.) |
|
|
|
http://msdn.microsoft.com/en-us/library/windows/desktop/ms684961(v=vs.85).aspx |
|
""" |
|
max_count = 2048 |
|
|
|
read = DWORD(0) |
|
arrtype = INPUT_RECORD * max_count |
|
input_records = arrtype() |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if not wait_for_handles([self.handle], timeout=0): |
|
return [] |
|
|
|
|
|
windll.kernel32.ReadConsoleInputW( |
|
self.handle, pointer(input_records), max_count, pointer(read) |
|
) |
|
|
|
|
|
|
|
for key_data in self._get_keys(read, input_records): |
|
self._vt100_parser.feed(key_data) |
|
|
|
|
|
result = self._buffer |
|
self._buffer = [] |
|
return result |
|
|
|
def _get_keys( |
|
self, read: DWORD, input_records: Array[INPUT_RECORD] |
|
) -> Iterator[str]: |
|
""" |
|
Generator that yields `KeyPress` objects from the input records. |
|
""" |
|
for i in range(read.value): |
|
ir = input_records[i] |
|
|
|
|
|
|
|
|
|
|
|
if ir.EventType in EventTypes: |
|
ev = getattr(ir.Event, EventTypes[ir.EventType]) |
|
|
|
|
|
|
|
if isinstance(ev, KEY_EVENT_RECORD) and ev.KeyDown: |
|
u_char = ev.uChar.UnicodeChar |
|
if u_char != "\x00": |
|
yield u_char |
|
|
|
|
|
class _Win32Handles: |
|
""" |
|
Utility to keep track of which handles are connectod to which callbacks. |
|
|
|
`add_win32_handle` starts a tiny event loop in another thread which waits |
|
for the Win32 handle to become ready. When this happens, the callback will |
|
be called in the current asyncio event loop using `call_soon_threadsafe`. |
|
|
|
`remove_win32_handle` will stop this tiny event loop. |
|
|
|
NOTE: We use this technique, so that we don't have to use the |
|
`ProactorEventLoop` on Windows and we can wait for things like stdin |
|
in a `SelectorEventLoop`. This is important, because our inputhook |
|
mechanism (used by IPython), only works with the `SelectorEventLoop`. |
|
""" |
|
|
|
def __init__(self) -> None: |
|
self._handle_callbacks: dict[int, Callable[[], None]] = {} |
|
|
|
|
|
|
|
self._remove_events: dict[int, HANDLE] = {} |
|
|
|
def add_win32_handle(self, handle: HANDLE, callback: Callable[[], None]) -> None: |
|
""" |
|
Add a Win32 handle to the event loop. |
|
""" |
|
handle_value = handle.value |
|
|
|
if handle_value is None: |
|
raise ValueError("Invalid handle.") |
|
|
|
|
|
self.remove_win32_handle(handle) |
|
|
|
loop = get_running_loop() |
|
self._handle_callbacks[handle_value] = callback |
|
|
|
|
|
remove_event = create_win32_event() |
|
self._remove_events[handle_value] = remove_event |
|
|
|
|
|
def ready() -> None: |
|
|
|
try: |
|
callback() |
|
finally: |
|
run_in_executor_with_context(wait, loop=loop) |
|
|
|
|
|
|
|
|
|
def wait() -> None: |
|
|
|
|
|
result = wait_for_handles([remove_event, handle]) |
|
|
|
if result is remove_event: |
|
windll.kernel32.CloseHandle(remove_event) |
|
return |
|
else: |
|
loop.call_soon_threadsafe(ready) |
|
|
|
run_in_executor_with_context(wait, loop=loop) |
|
|
|
def remove_win32_handle(self, handle: HANDLE) -> Callable[[], None] | None: |
|
""" |
|
Remove a Win32 handle from the event loop. |
|
Return either the registered handler or `None`. |
|
""" |
|
if handle.value is None: |
|
return None |
|
|
|
|
|
try: |
|
event = self._remove_events.pop(handle.value) |
|
except KeyError: |
|
pass |
|
else: |
|
windll.kernel32.SetEvent(event) |
|
|
|
try: |
|
return self._handle_callbacks.pop(handle.value) |
|
except KeyError: |
|
return None |
|
|
|
|
|
@contextmanager |
|
def attach_win32_input( |
|
input: _Win32InputBase, callback: Callable[[], None] |
|
) -> Iterator[None]: |
|
""" |
|
Context manager that makes this input active in the current event loop. |
|
|
|
:param input: :class:`~prompt_toolkit.input.Input` object. |
|
:param input_ready_callback: Called when the input is ready to read. |
|
""" |
|
win32_handles = input.win32_handles |
|
handle = input.handle |
|
|
|
if handle.value is None: |
|
raise ValueError("Invalid handle.") |
|
|
|
|
|
previous_callback = win32_handles.remove_win32_handle(handle) |
|
win32_handles.add_win32_handle(handle, callback) |
|
|
|
try: |
|
yield |
|
finally: |
|
win32_handles.remove_win32_handle(handle) |
|
|
|
if previous_callback: |
|
win32_handles.add_win32_handle(handle, previous_callback) |
|
|
|
|
|
@contextmanager |
|
def detach_win32_input(input: _Win32InputBase) -> Iterator[None]: |
|
win32_handles = input.win32_handles |
|
handle = input.handle |
|
|
|
if handle.value is None: |
|
raise ValueError("Invalid handle.") |
|
|
|
previous_callback = win32_handles.remove_win32_handle(handle) |
|
|
|
try: |
|
yield |
|
finally: |
|
if previous_callback: |
|
win32_handles.add_win32_handle(handle, previous_callback) |
|
|
|
|
|
class raw_mode: |
|
""" |
|
:: |
|
|
|
with raw_mode(stdin): |
|
''' the windows terminal is now in 'raw' mode. ''' |
|
|
|
The ``fileno`` attribute is ignored. This is to be compatible with the |
|
`raw_input` method of `.vt100_input`. |
|
""" |
|
|
|
def __init__( |
|
self, fileno: int | None = None, use_win10_virtual_terminal_input: bool = False |
|
) -> None: |
|
self.handle = HANDLE(windll.kernel32.GetStdHandle(STD_INPUT_HANDLE)) |
|
self.use_win10_virtual_terminal_input = use_win10_virtual_terminal_input |
|
|
|
def __enter__(self) -> None: |
|
|
|
original_mode = DWORD() |
|
windll.kernel32.GetConsoleMode(self.handle, pointer(original_mode)) |
|
self.original_mode = original_mode |
|
|
|
self._patch() |
|
|
|
def _patch(self) -> None: |
|
|
|
ENABLE_ECHO_INPUT = 0x0004 |
|
ENABLE_LINE_INPUT = 0x0002 |
|
ENABLE_PROCESSED_INPUT = 0x0001 |
|
|
|
new_mode = self.original_mode.value & ~( |
|
ENABLE_ECHO_INPUT | ENABLE_LINE_INPUT | ENABLE_PROCESSED_INPUT |
|
) |
|
|
|
if self.use_win10_virtual_terminal_input: |
|
new_mode |= ENABLE_VIRTUAL_TERMINAL_INPUT |
|
|
|
windll.kernel32.SetConsoleMode(self.handle, new_mode) |
|
|
|
def __exit__(self, *a: object) -> None: |
|
|
|
windll.kernel32.SetConsoleMode(self.handle, self.original_mode) |
|
|
|
|
|
class cooked_mode(raw_mode): |
|
""" |
|
:: |
|
|
|
with cooked_mode(stdin): |
|
''' The pseudo-terminal stdin is now used in cooked mode. ''' |
|
""" |
|
|
|
def _patch(self) -> None: |
|
|
|
ENABLE_ECHO_INPUT = 0x0004 |
|
ENABLE_LINE_INPUT = 0x0002 |
|
ENABLE_PROCESSED_INPUT = 0x0001 |
|
|
|
windll.kernel32.SetConsoleMode( |
|
self.handle, |
|
self.original_mode.value |
|
| (ENABLE_ECHO_INPUT | ENABLE_LINE_INPUT | ENABLE_PROCESSED_INPUT), |
|
) |
|
|
|
|
|
def _is_win_vt100_input_enabled() -> bool: |
|
""" |
|
Returns True when we're running Windows and VT100 escape sequences are |
|
supported. |
|
""" |
|
hconsole = HANDLE(windll.kernel32.GetStdHandle(STD_INPUT_HANDLE)) |
|
|
|
|
|
original_mode = DWORD(0) |
|
windll.kernel32.GetConsoleMode(hconsole, byref(original_mode)) |
|
|
|
try: |
|
|
|
result: int = windll.kernel32.SetConsoleMode( |
|
hconsole, DWORD(ENABLE_VIRTUAL_TERMINAL_INPUT) |
|
) |
|
|
|
return result == 1 |
|
finally: |
|
windll.kernel32.SetConsoleMode(hconsole, original_mode) |
|
|