Adam Chalmers
4a62862ca0
Track tagged geometry with an enum, not options ( #4333 )
...
Tags can refer to either a surface, or a path. Tags track what they're
tagging with two fields: `Option<Path>` and `Option<Surface>`. This means
as more things can be tagged, we'll have a bunch of options and only one
can be Some at a given time. This should be an enum instead, so the
compiler can enforce that only one thing is being tagged.
Also I want to allow tags to refer to points, so I'd like to make this
enum before I add a new possible variant.
2024-10-28 15:51:21 +00:00
..
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 13:19:05 -07:00
2024-09-30 12:39:24 -07:00
2024-09-28 11:51:08 -07:00
2024-09-30 12:39:24 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-14 10:46:39 -07:00
2024-10-01 08:50:23 -05:00
2024-10-16 21:48:33 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-15 13:25:03 -07:00
2024-10-15 13:25:03 -07:00
2024-10-01 08:50:23 -05:00
2024-09-28 11:51:08 -07:00
2024-09-30 12:30:22 -07:00
2024-09-28 11:51:08 -07:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-16 06:58:04 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-01 08:50:23 -05:00
2024-09-28 11:51:08 -07:00
2024-09-30 12:39:24 -07:00
2024-10-01 08:50:23 -05:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-16 21:48:33 -07:00
2024-10-16 21:48:33 -07:00
2024-10-09 03:56:38 +00:00
2024-10-15 13:25:03 -07:00
2024-10-15 13:25:03 -07:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-09-30 12:39:24 -07:00
2024-10-01 08:50:23 -05:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-10-25 22:49:30 +00:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-01 08:50:23 -05:00
2024-10-01 08:50:23 -05:00
2024-09-28 13:19:05 -07:00
2024-09-28 11:51:08 -07:00
2024-10-23 17:42:54 +00:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-10-23 17:42:54 +00:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-28 11:51:08 -07:00
2024-09-30 12:39:24 -07:00
2024-10-28 15:51:21 +00:00
2024-09-30 12:30:22 -07:00
2024-09-28 11:51:08 -07:00
2024-10-01 08:50:23 -05:00
2024-09-30 12:39:24 -07:00
2024-10-01 08:50:23 -05:00
2024-10-02 14:19:40 -05:00