mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-29 09:31:54 +03:00
d868d00985
This re-uses the existing repeat infrastructure.
37 lines
811 B
JSON
37 lines
811 B
JSON
{"Put":{"state":"ˇhello\n"}}
|
|
{"Key":"5"}
|
|
{"Key":"i"}
|
|
{"Key":"-"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"----ˇ-hello\n","mode":"Normal"}}
|
|
{"Put":{"state":"ˇhello\n"}}
|
|
{"Key":"5"}
|
|
{"Key":"a"}
|
|
{"Key":"-"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"h----ˇ-ello\n","mode":"Normal"}}
|
|
{"Key":"4"}
|
|
{"Key":"shift-i"}
|
|
{"Key":"-"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"---ˇ-h-----ello\n","mode":"Normal"}}
|
|
{"Key":"3"}
|
|
{"Key":"shift-a"}
|
|
{"Key":"-"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"----h-----ello--ˇ-\n","mode":"Normal"}}
|
|
{"Put":{"state":"ˇhello\n"}}
|
|
{"Key":"3"}
|
|
{"Key":"o"}
|
|
{"Key":"o"}
|
|
{"Key":"i"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"hello\noi\noi\noˇi\n","mode":"Normal"}}
|
|
{"Put":{"state":"ˇhello\n"}}
|
|
{"Key":"3"}
|
|
{"Key":"shift-o"}
|
|
{"Key":"o"}
|
|
{"Key":"i"}
|
|
{"Key":"escape"}
|
|
{"Get":{"state":"oi\noi\noˇi\nhello\n","mode":"Normal"}}
|