UndoSelection doesn't work as documented

[GerdP]

What steps will reproduce the problem?

1. Download some data
2. Select a way
3. Select another way
4. press esc to unselect all
5. press Ctrl+Shift+Z (UndoSelection) once
6. press Ctrl+Shift+Z (UndoSelection) again

What is the expected result?

step 5 should select the way from step 3
step 6 should select the way from step 2

What happens instead?

step 5 works as expected
step 6 has no effect

Please provide any additional information below. Attach a screenshot if possible.

Without step 4 the first Ctrl+Shift+Z should select the first way.

URL:https://josm.openstreetmap.de/svn/trunk
Repository:UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Last:Changed Date: 2018-11-28 01:09:01 +0100 (Wed, 28 Nov 2018)
Build-Date:2018-11-28 00:26:41
Revision:14460
Relative:URL: ^/trunk

Identification: JOSM/1.5 (14460 en) Windows 10 64-Bit
OS Build number: Windows 10 Home 1803 (17134)
Memory Usage: 781 MB / 1820 MB (472 MB allocated, but free)
Java version: 1.8.0_191-b12, Oracle Corporation, Java HotSpot(TM) 64-Bit Server VM
Screen: \Display0 1920x1080
Maximum Screen Size: 1920x1080
Dataset consistency test: No problems found

Plugins:
+ FastDraw (34510)
+ apache-commons (34506)
+ buildings_tools (34724)
+ download_along (34503)
+ editgpx (34751)
+ ejml (34389)
+ geotools (34513)
+ gpxfilter (34506)
+ jaxb (34506)
+ jts (34524)
+ measurement (34529)
+ o5m (34405)
+ opendata (34698)
+ pbf (34576)
+ poly (34546)
+ reltoolbox (34614)
+ reverter (34552)
+ utilsplugin2 (34506)

Last errors/warnings:
- W: No configuration settings found.  Using hardcoded default values for all pools.

[GerdP]

fixed with [o34770:34771]

[GerdP]

Ticket #13463 has been marked as a duplicate of this ticket.