Dave Pearson
d350374e59
Revert Tree.clear and add Tree.reset
...
After some internal discussion we've decided to keep `Tree.clear` as it was,
and add a `Tree.reset`, which does a `Tree.clear` but resets the label and
data of `Tree.root` to the values given, while mirroring how `Tree.__init__`
takes those parameters.
2023-02-01 15:08:03 +00:00
..
2022-04-19 13:56:19 +01:00
2023-01-30 12:34:35 +00:00
2022-10-13 11:15:15 +01:00
2023-01-30 20:38:19 +00:00
2022-12-02 15:43:24 +00:00
2023-01-26 16:10:13 +01:00
2022-09-14 18:02:48 +01:00
2023-01-31 16:27:15 +00:00
2023-02-01 15:08:03 +00:00
2022-10-27 17:43:02 +01:00
2021-07-05 20:37:54 +01:00
2023-01-30 17:24:15 +00:00
2022-09-20 16:33:07 +01:00
2023-01-09 13:58:25 +00:00
2023-01-26 16:10:13 +01:00
2022-10-29 10:03:26 +01:00
2023-01-26 16:10:13 +01:00
2022-12-21 14:57:25 +00:00
2022-10-13 11:15:15 +01:00
2022-12-03 14:26:42 +00:00
2022-12-28 15:53:58 +00:00
2022-11-09 17:23:28 +00:00
2021-08-31 17:53:41 +01:00
2022-10-08 15:46:30 +01:00
2022-05-10 17:37:27 +01:00
2023-01-07 14:24:17 +00:00
2023-01-26 16:10:13 +01:00
2023-01-18 15:21:55 +00:00
2023-01-12 15:48:49 +00:00
2022-10-13 11:15:15 +01:00
2022-10-22 17:35:11 +01:00
2023-01-17 15:02:09 +00:00
2023-01-19 14:18:40 +00:00
2022-10-24 16:34:34 +01:00
2023-01-09 16:19:24 +00:00
2023-01-17 15:19:40 +00:00
2022-10-13 11:15:15 +01:00
2021-08-31 17:53:41 +01:00
2022-12-21 15:17:27 +00:00
2023-01-09 13:57:13 +00:00
2023-01-23 18:00:44 +00:00
2022-06-17 15:35:20 +01:00
2022-07-29 10:28:50 +01:00
2023-01-31 11:12:47 +01:00
2023-01-09 14:00:52 +00:00
2022-11-25 18:23:24 +00:00
2022-12-21 11:28:19 +00:00
2023-01-16 11:06:13 +00:00
2022-10-13 11:15:15 +01:00
2022-11-16 15:47:48 +00:00
2023-01-06 13:59:52 +00:00
2023-01-19 15:29:50 +00:00
2023-01-17 10:29:19 +00:00
2022-12-29 10:13:37 +00:00
2022-05-03 15:40:06 +01:00
2022-12-28 20:50:24 -06:00
2023-01-26 16:10:13 +01:00
2022-06-17 15:33:47 +01:00
2023-01-09 13:57:49 +00:00
2023-01-18 14:51:50 +00:00
2022-12-21 14:33:12 +00:00
2023-01-09 13:55:53 +00:00
2022-11-08 13:53:22 +00:00
2023-01-09 13:59:15 +00:00
2023-01-09 13:59:59 +00:00
2023-01-25 12:00:51 +01:00
2023-01-02 21:59:33 +02:00