15:44:41jdzI really dislike an always-visible scroll bar in a terminal. Mostly because I almost never use it. But in the terminal I use (the one from Elementary OS) the part of the scroll bar that indicates current position appears (fades in) whenever there is an output (or when scrolling manually using keyboard), and the full scroll bar appears when using mouse.
17:01:27jackdanielbounidng rectangles are immutable except for when they are mutable, that's how I'd sum up the specification :)
18:39:17jackdanielwe have output-record-{start,end}-position - is it reasonable to interpret output-record-fixed-position as the opposite?
18:39:38jackdanielthe output record has either relative coordinates (and start/end position) or absolute coordinates