Query font size and DPI from terminal

This commit is contained in:
Kovid Goyal
2024-05-07 19:59:59 +05:30
parent d826265fd7
commit b6e92dd79d
5 changed files with 100 additions and 10 deletions

View File

@@ -517,7 +517,7 @@ def key_as_bytes(name: str) -> bytes:
return ans.encode('ascii')
def get_capabilities(query_string: str, opts: 'Options', window_id: int, os_window_id: int) -> Generator[str, None, None]:
def get_capabilities(query_string: str, opts: 'Options', window_id: int = 0, os_window_id: int = 0) -> Generator[str, None, None]:
from .fast_data_types import ERROR_PREFIX
def result(encoded_query_name: str, x: Optional[str] = None) -> str: