Add index refresh shortcut in the header bar.
Also fix lazy/lame implementation of Header.addShortcut()