public async Task SwitchPreservesTopLineIndex() { await screenBuffer.ShiftBy(1.1, cancel); VerifyMessages(screenBuffer, @"0-ln_1 1-ln_0 1-ln_1 2-ln_0", 0.1); await screenBuffer.SetDisplayTextGetter(MessageTextGetters.RawTextGetter, cancel); VerifyMessages(screenBuffer, @"0-rln_1 0-rln_2 1-rln_0 1-rln_1", 0.1, verifyRaw: true); await screenBuffer.SetDisplayTextGetter(MessageTextGetters.SummaryTextGetter, cancel); VerifyMessages(screenBuffer, @"0-ln_1 1-ln_0 1-ln_1 2-ln_0", 0.1); }