I've tried rdbende's IDE and I agree with your comment. I'll be working in themes for the upcoming updates as I think it might be an useful addition.