restore ctrl-f in source xml editor