Video example of print margin changing column position when editor display changes size
eclipse-print-margin-bug.mp4 (video/mp4), 10.83 MB, created by Joe Sondow CLA on 2017-07-19 16:43:04 EDT
(hide)
 
Creator: Joe Sondow CLA
Created: 2017-07-19 16:43:04 EDT
Size: 10.83 MB

Attachment is not viewable in your browser because its MIME type (video/mp4) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 468307: 253772 | 257072 | 269443