Support progressive enhencements#195
Conversation
c1c8fdd to
4641331
Compare
|
Thanks @deathaxe. The CI configuration was not up to date. Would you mind rebasing on |
7739b64 to
a5d983d
Compare
|
FWIW, |
|
Note that mypy is unhappy on the CI.
Yeah, this sgtm. |
|
Well, I've rarely seen general |
|
An unfortunate issue with mypy is that it does not type check functions if any type hint is missing (at least not by default). I guess you could use |
Resolves #194
This PR adds
Screen.set_keyboard_flags()event handler, to handle progressive enhancement events.The
Screenclass therefore maintains a stack ofScreen.keybord_flags, which is managed byset_keybord_flags()handler, ifStreamdetects relatedCSI = flags ; mode u,CSI > flags uorCSI < count uescape sequences.Sending proper key sequences to shell is up to a real terminal implementation, which can use
Screen.keyboard_flagsto query requested features.This PR ensures not to pass through related escape sequences to buffer.