-
-
Notifications
You must be signed in to change notification settings - Fork 72
Closed
Labels
UIDeals with the visual user interfaceDeals with the visual user interfaceenhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requested
Milestone
Description
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.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
UIDeals with the visual user interfaceDeals with the visual user interfaceenhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requested