| Summary: | Shortcut keys do not work in new editor component | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | P1 | ||
| Version: | 3.6 Alpha 3 | ||
| Hardware: | Macintosh | ||
| OS: | Mac OS | ||
| Architecture: | |||
Fixed on the trunk. |
The new editor component with syntax highlighting seems to be broken on the mac: - The normal mac-short cut keys for cut and paste do not work. - Keys for inserting {} and [] do not work.