add ctrl-f as jsbeautify function