// Draw the cursors
if (view_.cursors_shown()) {
// The cursor labels are not drawn with the arrows exactly on the
// bottom line of the widget, because then the selection shadow
// would be clipped away.
const QRect r = rect().adjusted(0, 0, 0, -BaselineOffset);
// Draw the cursors
if (view_.cursors_shown()) {
// The cursor labels are not drawn with the arrows exactly on the
// bottom line of the widget, because then the selection shadow
// would be clipped away.
const QRect r = rect().adjusted(0, 0, 0, -BaselineOffset);