Magne Sjaastad
889f615d19
#2276 : Source Stepping : Improve region ordering
...
Internally, region numbers are stored in a set and then ordered correctly. When converting to strings for UI, the sorting criteria changes, and the order is wrong. If a vector is used to represent the UI strings, the problem is solved.
2018-01-26 08:16:07 +01:00
..
2018-01-03 13:17:29 +01:00
2017-08-29 10:40:10 +02:00
2017-08-29 09:39:53 +02:00
2017-06-14 07:25:34 +02:00
2017-06-14 07:25:34 +02:00
2017-11-07 15:08:32 +01:00
2017-11-07 15:19:54 +01:00
2017-11-03 17:42:16 +01:00
2017-11-02 18:56:58 +01:00
2017-12-11 16:12:31 +01:00
2017-12-11 16:12:31 +01:00
2017-06-13 15:15:40 +02:00
2017-06-13 15:15:40 +02:00
2017-06-13 15:15:40 +02:00
2017-06-13 15:15:40 +02:00
2017-11-30 11:05:30 +01:00
2017-08-25 06:51:56 +02:00
2017-06-13 15:15:40 +02:00
2017-06-13 15:15:40 +02:00
2018-01-04 12:38:12 +01:00
2018-01-04 12:38:12 +01:00
2017-06-28 20:36:11 +02:00
2017-06-28 20:36:11 +02:00
2017-12-01 09:13:42 +01:00
2017-12-01 09:13:42 +01:00
2018-01-02 10:21:32 +01:00
2017-10-20 15:48:12 +02:00
2017-12-08 16:52:54 +01:00
2017-12-08 10:24:14 +01:00
2017-11-24 13:54:01 +01:00
2017-11-24 13:54:01 +01:00
2018-01-26 08:16:07 +01:00
2018-01-26 08:16:07 +01:00
2017-12-12 13:22:36 +01:00
2017-12-12 13:22:36 +01:00
2017-11-13 15:23:38 +01:00
2017-10-27 15:02:21 +02:00