I sent this to bugs@linux-ide.org a few days ago but I'm not sure if
that goes anywhere.

Chris