Antonio Scandurra a6bdb6dc5d Embed match index inside of search query editor

2022-03-29 15:53:36 +02:00

..

buffer_search.rs

Embed match index inside of search query editor

2022-03-29 15:53:36 +02:00

project_search.rs

Embed match index inside of search query editor

2022-03-29 15:53:36 +02:00

search.rs

Restructure Pane to have a single Toolbar with multiple items

2022-03-29 11:48:21 +02:00