YuRen-tw / gedit-agda

An Agda syntax highlighting to gedit.

An Agda syntax highlighting to gedit (and any other editor using GtkSourceView).

Install

1. <gtksourceview-folder>:
   • ~/.local/share/gtksourceview-4
   • /usr/share/gtksourceview-4
   • /usr/share/gtksourceview-3.0
   • /usr/share/gtksourceview-2.0
2. Put the agda.lang file in the <gtksourceview-folder>/language-specs/.
3. Put the agda-standard.xml and agda-conor.xml files in the <gtksourceview-folder>/styles/.