Add f4 to switch between source and header