Minor improvements: put the focus back to the editor when the user clicked on a navigation button