Eduardo Bart 47766685d9
Merge pull request #907 from diath/topbar_visibility_toggle
Add a keyboard shortcut to toggle topmenu visibility
2017-11-20 12:04:11 -02:00
..