GUI HTML editor that bears resemblence to kdevelop