Berthold Stoeger
a7bbb6c1cc
filter: remove filter_preset_table_t
...
We used a typedef "filter_preset_table_t" for the filter preset table,
because it is a "std::vector<filter_preset>". However, that is in
contrast to all the other global tables (dives, trips, sites) that we
have.
Therefore, turn this into a standard struct, which simply inherits
from "std::vector<filter_preset>". Note that while inheriting from
std::vector<> is generally not recommended, it is not a problem
here, because we don't modify it in any shape or form.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2020-10-17 09:04:20 -07:00
..
2018-07-12 17:12:56 +02:00
2020-04-15 07:58:10 -07:00
2020-09-29 16:13:03 -07:00
2019-05-15 07:37:14 -07:00
2020-09-29 16:13:03 -07:00
2018-07-26 16:32:51 +03:00
2020-09-29 16:13:03 -07:00
2020-04-15 07:58:10 -07:00
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00
2018-10-12 08:22:44 -07:00
2018-10-12 08:22:44 -07:00
2020-10-17 09:04:20 -07:00
2018-07-26 16:32:51 +03:00
2020-09-29 16:13:03 -07:00
2020-05-26 11:33:10 -07:00
2020-09-29 16:13:03 -07:00
2018-08-31 06:33:46 -07:00
2020-09-29 16:13:03 -07:00
2018-07-26 16:32:51 +03:00
2019-11-09 19:19:04 +01:00
2018-10-30 15:33:43 +01:00
2020-02-04 02:17:52 +01:00
2020-01-20 15:49:02 -08:00
2020-09-29 16:13:03 -07:00
2020-05-04 13:39:18 -07:00
2019-12-29 12:32:02 -08:00
2018-09-11 17:22:58 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2020-04-19 14:27:54 -07:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-29 12:31:31 -08:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-29 12:31:43 -08:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-25 02:57:42 +09:00
2018-09-11 17:25:00 -07:00
2020-01-20 09:55:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2020-10-17 09:04:20 -07:00
2018-07-26 16:32:51 +03:00
2019-06-19 13:11:10 -07:00
2018-04-09 07:59:51 -07:00
2019-10-27 07:35:46 -07:00
2018-07-26 16:32:51 +03:00
2018-09-11 18:00:44 -07:00
2020-04-19 14:27:54 -07:00
2018-10-15 19:46:18 +02:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00