Encontrei esse artigo com algumas dicas de como configurar o Gedit para ser usado como uma IDE para desenvolvimento Web, especialmente PHP. Bem mais completo que o texto que eu tinha escrito sobre o assunto.