Menu shortcut command-Minus for Zoom Out does not work on Mac
Description
Environment
None
Activity
Show:
Fabian Vu August 12, 2020 at 11:04 AM
This issue is similar to in ProB2-UI
Details
Details
Assignee
Jens BendispostoReporter
Michael LeuschelPriority
MajorCreated November 4, 2019 at 9:37 AM
Updated August 12, 2020 at 11:04 AM
On the Mac it seems that the Zoom Out keyboard shortcut Command-Minus does not work.
The Shortcut for Zoom In does.