You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Navigation in dialogs only works with and arrow keys don't work
Expected behavior
All key bindings to work
Hypothesis
The TUI has been rewritten with brick 1.10. The monadic event handling via EventM was expected to short-circuit when doing a halt. However EventM is just a state transformer around IO and has no early exiting. That means, if we continue handling events after doing a halt in a global event handler.. the TUI main loop does not exit.
Something different is fishy with delegating event handling to forms.
It seems like composing event handlers should be done differently.
The text was updated successfully, but these errors were encountered:
Context & versions
Likely since the rewrite to brick 1.10
b6f5028
Steps to reproduce
Actual behavior
Expected behavior
All key bindings to work
Hypothesis
The TUI has been rewritten with brick 1.10. The monadic event handling via
EventM
was expected to short-circuit when doing ahalt
. HoweverEventM
is just a state transformer around IO and has no early exiting. That means, if we continue handling events after doing ahalt
in a global event handler.. the TUI main loop does not exit.Something different is fishy with delegating event handling to forms.
It seems like composing event handlers should be done differently.
The text was updated successfully, but these errors were encountered: