{"SetOption":{"value":"scrolloff=3"}}{"SetOption":{"value":"lines=22"}}{"SetOption":{"value":"wrap"}}{"SetOption":{"value":"columns=12"}}{"SetOption":{"value":"nowrap"}}{"Put":{"state":"ˇ01234567890123456789"}}{"Key":"z"}{"Key":"shift-l"}{"Get":{"state":"012345ˇ67890123456789","mode":"Normal"}}{"Key":"z"}{"Key":"h"}{"Get":{"state":"012345ˇ67890123456789","mode":"Normal"}}{"Put":{"state":"ˇ01234567890123456789"}}{"Key":"z"}{"Key":"l"}{"Get":{"state":"0ˇ1234567890123456789","mode":"Normal"}}