[BLUEJ-1150] Double context menu when right-clicking line numbers/left margin
You get two pop-ups: one from the editor with cut/copy/paste, and one from the line numbers itself with an option to turn them off. The editor pop-up should not appear if the click was in the margin, and it's questionable whether we want the option to turn on/off line numbers (and at the very least, the font is wrong).
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 4.2.2