We could try fixing this by editing :
/usr/share/gtksourceview-2.0/styles/classic.xml , thats the theme gedit uses by default
We have
<!-- Search Matching -->
<style name="search-match" background="yellow"/>
Maybe we need a new <style name="search-match-active">, or maybe we have that option already ?
We could try fixing this by editing : gtksourceview- 2.0/styles/ classic. xml , thats the theme gedit uses by default "yellow" />
/usr/share/
We have
<!-- Search Matching -->
<style name="search-match" background=
Maybe we need a new <style name="search- match-active" >, or maybe we have that option already ?