Skip to content

feat(gui): find in the terminal with ⌘F / Ctrl+Shift+F - #152

Open
sachin56 wants to merge 1 commit into
timhartmann7:mainfrom
sachin56:feat/gui-terminal-search
Open

sachin56 wants to merge 1 commit into
timhartmann7:mainfrom
sachin56:feat/gui-terminal-search

Commits

  1. Commits on Oct 9, 2026