Magne Sjaastad
40c329f3ac
Fix selection of multiple pressure/depth sources in plot
...
Use spaceship operator to fix issue for multiple pressure/depth curves
It was not possible to show two pressure/drop curves at the same time. This was caused by inconsistent implementation of operator< and operator==. Implement operator <=> to simplify the code.
2023-03-13 16:09:01 +01:00
..
2023-03-06 10:45:49 +01:00
2023-01-23 12:46:54 +01:00
2023-03-07 12:51:14 +01:00
2023-03-07 12:51:14 +01:00
2023-02-26 10:48:40 +01:00
2022-11-18 12:50:04 +01:00
2023-02-26 10:48:40 +01:00
2021-01-11 15:27:45 +01:00
2023-02-26 10:48:40 +01:00
2021-01-11 15:27:45 +01:00
2023-02-26 10:48:40 +01:00
2022-03-14 09:18:48 +01:00
2023-03-10 19:43:37 +01:00
2022-12-19 15:28:26 +01:00
2023-03-03 15:28:34 +01:00
2023-03-03 15:28:34 +01:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2021-01-21 12:58:46 +01:00
2021-01-21 12:58:46 +01:00
2023-03-10 19:43:37 +01:00
2023-02-26 10:48:40 +01:00
2023-01-23 12:46:54 +01:00
2023-01-23 12:46:54 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2021-05-29 10:00:27 +02:00
2021-05-29 10:00:27 +02:00
2022-05-05 14:15:45 +02:00
2022-05-05 14:15:45 +02:00
2022-11-30 23:13:39 +01:00
2022-11-30 23:13:39 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2023-03-10 19:43:37 +01:00
2023-03-10 19:43:37 +01:00
2023-02-26 10:48:40 +01:00
2022-11-18 16:13:26 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2022-01-07 10:38:56 +01:00
2022-01-07 10:38:56 +01:00
2022-10-06 10:32:44 +02:00
2022-10-06 10:32:44 +02:00
2023-03-13 16:09:01 +01:00
2023-03-13 16:09:01 +01:00
2022-05-05 14:15:45 +02:00
2022-05-06 06:39:08 +02:00
2023-02-26 10:48:40 +01:00
2021-10-04 10:20:09 +02:00
2021-01-11 15:27:45 +01:00
2021-01-11 15:27:45 +01:00
2023-02-26 10:48:40 +01:00
2023-02-26 10:48:40 +01:00
2022-11-08 08:18:31 +01:00
2022-11-08 08:18:31 +01:00
2023-02-26 10:48:40 +01:00
2023-02-07 07:22:57 +01:00
2023-02-26 10:48:40 +01:00
2022-05-05 14:15:45 +02:00