GitHub #113: Minor GUI tweaks (grab focus, background on tooltip)