//! EditorHook: the Console panel's view state, beside its actions in
//! `console.rs`. The log sink and the build guard are the session's, not the
//! panel's, so they stay on the hook.
// Shown state, whether the command line holds keyboard focus (suppressed for
// one frame after a backtick open so the text system does not type the
// backtick into it), and the log window's scroll position with its
// pinned-to-bottom flag (pinned auto-scrolls on new lines until the user
// scrolls up).
pub