Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Remove left margin when scrolling #197

@makew0rld

Description

@makew0rld

Due to the change in 90654cd (as a part of #107, to fix #26) the left margin on pages was made into a UI element. That means that when scrolling to the right, for long pre-formatted lines, they appear to "disappear" under the left margin. This is an undesirable effect.

One solution would be to change the size of the margin when scrolling, and eventually remove it once its width becomes <= 0. Another possible solution would be to find a way to keep the left margin "underneath" the text.

Metadata

Metadata

Assignees

Labels

UIDeals with the visual user interfaceenhancementNew feature or requestquestionFurther information is requested

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions