Open rei-vilo opened 8 years ago
The menu Tools > Programmer has duplicate entries on macOS 10.11.5.
This isn't a problem on linux. It looks OK.
The menu Tools > Programmer has duplicate entries on macOS 10.11.5.