#823770 gedit-plugins: source code color plugin crashes gedit