Hello, I have a question about the tools you are using for PHP development. Especially, which editor, cvs client and debugger/profiler. Are there any recommendations for horde development? I already tried the puristic approach (bash, vi, cvs, dbg-cli), and I installed the PHPeclipse-plugin for Eclipse, which also seems to work well. Regards, Malte