Fino ad oggi nessun problema, adesso però voglio cambiare tema (in sostanza il nero di sfondo al posto del bianco).
Non voglio star lì a modificare ad una ad una tutte le voci, per cui ho installato il plugin Color Theme (eclipsecolorthemes.org), vorrei utilizzare Oblivion Theme ma sembra che PHPEclipse non rispetti il tema di default (selezionato in general -> appeareance), ma abbia le sue regole che è possibile modificare a mano una per una...

Qualcuno sa se c'è una via d'uscita?

Grazie in anticipo,

Giuseppe