Code Editor : gnome-control-center-search-provider