Code Editor : gnome-terminal-search-provider.ini