FIXED: [15.90b2] Bug in setting right margin with a mouse
Posted: 06 Jun 2023 12:18
I'm not sure if this is beta-related bug, but I never saw it before.
(I just sent you an automated crash report after fiddling with right margin.)
So, I have right margin set to 100. If I have word-wrap on and I change it (usually it happens by accident) with a mouse to, say 20, text reflows just fine. When I change it then to 40, text stays wrapped at 20 chars. Subsequent (third) margin change reflows the text to the latest margin width.
It occurs regularly for MD files, and irregularly for other highlighters (e.g. TXT). Monkeying with right margin in PHP file crashes editor after a while.
(I just sent you an automated crash report after fiddling with right margin.)
So, I have right margin set to 100. If I have word-wrap on and I change it (usually it happens by accident) with a mouse to, say 20, text reflows just fine. When I change it then to 40, text stays wrapped at 20 chars. Subsequent (third) margin change reflows the text to the latest margin width.
It occurs regularly for MD files, and irregularly for other highlighters (e.g. TXT). Monkeying with right margin in PHP file crashes editor after a while.