Fixed 'Show tooltip' shortcut not working on Linux (fixes #118; ref #89).
Fixed editor tab activation after closing another tab on Linux (ref #89).