add Ctrl-F12 to show symbol browser