Re: Pluma's syntax highlighting

[Mark Allums]

On 1/13/2020 10:03 AM, David Wright wrote:

Once again, I can tell you nothing about Pluma.

Pluma is a direct descendant of the Gnome 2 text editor, whose name 
currently escapes me.