-
Michael Reisecker authored
More integration of keyboard shortcuts: Add menu for 'refresh applications' so that the user can find the native shortcut for it. In the welcome text, use the nativ shortcut for the help hint. Don't mention key shortcuts in the help file anymore.
65b16205