2 Commits

Author SHA1 Message Date
81eb605e98 MarkdownViewer: Use EditorScrollView
This way we don't show that annoying animation, and we now occupy the
entire available width. Otheriwse if you had text which was required
scrolling, but only had 1 word in each line, then you couldn't scroll by
dragging on the empty area as the widget didn't occupy that space.
2020-05-06 14:27:49 +02:00
f421b61fd4 Editor: Replace the scroll view
This one supresses the top glow animation, has a decent padding by
default, and occupies the entire space of its parent.
2020-05-06 14:20:56 +02:00