buffer_linear_highlighted

Buffer containing only elements that change when the user moves the mouse (i.e. the bit of text mentioning the position of the mouse cursor and the red highlights). This buffer is here superimposed on buffer_linear_zoom.

Done