--- Comment #7 from Kurt Hindenburg <kurt.hindenb...@gmail.com> ---
Git commit c5d9d1880448c5fc459ad7bb7c4cee0b44283e96 by Kurt Hindenburg.
Committed on 24/02/2018 at 05:05.
Pushed by hindenburg into branch 'master'.
Add note that profile shortcuts only work when when "Shown" in menu
Explain that to use profiles' shortcuts in the 'Manage Profiles'
dialog, the profile must have "Show" checked.
M +29 -22 src/settings/ProfileSettings.ui
You are receiving this mail because:
You are watching all bug changes.