public async Task CanMakeViewLarger()
{
await screenBuffer.SetViewSize(11.9, cancel);
VerifyMessages(screenBuffer,
@"0-ln_0
1-ln_0
2-ln_0
3-ln_0
4-ln_0
5-ln_0
6-ln_0", 0);
}
public async Task CanEnlargeView()
{
await screenBuffer.SetViewSize(7.6, cancel);
VerifyMessages(screenBuffer,
@"12-ln_0
13-ln_0
14-ln_0
15-ln_0
16-ln_0
17-ln_0
18-ln_0
19-ln_0", 0.4);
}
public async Task CanLoadAtEndAndEnlargeView()
{
await screenBuffer.MoveToStreamsEnd(cancel);
await screenBuffer.SetViewSize(7.6, cancel);
VerifyMessages(screenBuffer,
@"0-ln_4
0-ln_5
1-ln_0
1-ln_1
1-ln_2
1-ln_3
1-ln_4
1-ln_5", 0.4);
}
