Skip to content

Blur search when opening a terminal#1499

Merged
davkal merged 3 commits intorelease-0.15from blur-search-on-terminalMay 13, 2016