Fix text selection around errors.

JGantts / Storyteller

GNU General Public License v3.0

8 stars 3 forks source link

Open JGantts opened 4 years ago

JGantts commented 4 years ago

Also I have a hard time selecting text, especially when there is an error.

@bedalton