Small fixes to dasheditor and firefox fixes for search