Zheng Chaoping 0a46c4be52 Cherry pick 5digits/dactyl#178 ...

Fix `TypeError: options is undefined`

When open a new window and close it, then press `gg` in the original window
will throw `TypeError: options is undefined`.

2017-01-23 04:10:23 +02:00

77 KiB

Raw Blame History

View Raw