external editor added for firefox