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
refactor(picker): merge history_picker into timeline_picker
Problem: After dropping the local history.txt, history_picker and
timeline_picker rendered the same data through the same base_picker with
nearly identical format functions, only differing by title, time
display,
and the post-selection action.
Solution: Extend timeline_picker.pick(messages, opts) with a { title,
callback } shape so the caller picks what happens on selection. Move
workflow.select_history to feed the timeline picker and refill the input
in the callback, then delete history_picker along with its keymap, type,
doc snippet, and topology reference.
0 commit comments