Uploaded image for project: 'Compass '
  1. Compass
  2. COMPASS-7941

Code mirror editor line numbering is selectable

    • Type: Icon: Bug Bug
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Editor
    • Labels:
      None
    • Environment:
      OS:
      node.js / npm versions:
      Additional info:
    • Developer Tools
    • 2

      See video for example. We should make the numbers not selectable.

      At the same time, if it's an easy drive by, let's make sure that selecting the content of the editor is easy. The top padding not allowing folks to select the text after click may be more noticeable to users since we removed the background color padding on the editors recently (it was a regression for a bit). I'm thinking it might just be a padding issue there.

            Assignee:
            Unassigned Unassigned
            Reporter:
            rhys.howell@mongodb.com Rhys Howell
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: