Punt jump-to-selected to a UI idle handler.
authorCarl Hetherington <cth@carlh.net>
Sun, 12 Aug 2018 21:59:18 +0000 (22:59 +0100)
committerCarl Hetherington <cth@carlh.net>
Sun, 12 Aug 2018 21:59:18 +0000 (22:59 +0100)

No differences found