fixed bug that prevented new search after syntax error (closes #1691)
fixed bug that prevented new search after syntax error (closes #1691)

dainst/arachnefrontend,dainst/arachnefrontend,obensch/arachnefrontend,codarchlab/arachnefrontend,obensch/arachnefrontend,codarchlab/arachnefrontend