This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Keep existing selection after reindexing#336

Open

winstliu wants to merge 4 commits intomasterfrom

wl-keep-existing-selection

Commits on Feb 17, 2018

Keep existing selection after reindexing

Wliu
authored and
Wliu
committed

Commits on Feb 25, 2018

Fix spec

Wliu
authored and
Wliu
committed
Merge branch 'master' into wl-keep-existing-selection

Wliu
authored and
Wliu
committed

Commits on Mar 5, 2018

Merge branch 'master' into wl-keep-existing-selection
Wliu
authored