Details
-
Bug
-
Resolution: Unresolved
-
Major
-
None
-
1.4, 1.5, 1.6, 1.7, 1.8
-
None
Description
The magicline plugin is supposed to make it easier to select parts of the editor's content.
When used in conjunction with the realtime, the magic red line gets stuck in certain places.