Skip to content

Migrate terminal search overlay to new editor style

The editor got a new search style for 43, which looks like:

Screenshot_from_2023-02-01_14-07-17

But the terminal still looks like:

image

We need someone to go do the same sort of modernization to IdeTerminalPage (look at src/libide/terminal/ide-terminal-page.c and src/libide/terminal/ide-terminal-page.ui).