Re-enabling F5 for toggling the showing of line numbers