Files
fish-shell/src
Mahmoud Al-Qudsi ecf1676601 Add and use type-erased RAII callback wrapper for ffi
This allows the rust code to free up C++ resources allocated for a callback even
when the callback isn't executed (as opposed to requiring the callback to run
and at the end of the callback cleaning up all allocated resources).

Also add type-erased destructor registration to callback_t. This allows for
freeing variables allocated by the callback for debounce_t's
perform_with_callback() that don't end up having their completion called due to
a timeout.
2023-04-29 11:02:59 -05:00
..
2023-04-16 17:46:56 +02:00
2023-04-16 17:46:56 +02:00
2023-04-19 22:43:36 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 22:43:36 +02:00
2023-04-19 22:43:36 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2021-10-01 03:39:43 -07:00
2023-01-14 12:58:20 -08:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-02-25 12:24:25 +01:00
2022-09-12 18:34:19 -07:00
2023-04-16 17:46:56 +02:00
2023-04-19 01:03:16 +02:00
2023-04-16 17:46:56 +02:00
2023-04-16 17:46:56 +02:00
2023-02-02 19:34:47 -07:00
2021-09-21 18:33:14 -07:00
2023-02-02 19:34:47 -07:00
2023-04-19 01:03:16 +02:00
2023-04-19 22:43:36 +02:00
2023-04-19 22:43:36 +02:00
2022-08-21 15:02:19 -07:00
2023-04-19 01:03:16 +02:00
2023-04-19 22:43:36 +02:00
2023-04-29 11:02:59 -05:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2022-08-20 23:55:18 -07:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-16 17:46:56 +02:00
2023-04-19 10:35:22 +02:00
2023-04-21 13:57:29 +02:00
2023-04-19 22:43:36 +02:00
2023-02-25 16:42:45 -06:00
2023-04-16 17:46:56 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00
2022-12-10 16:15:00 -08:00
2023-02-02 19:34:47 -07:00
2023-03-19 16:13:41 -07:00
2023-04-19 01:03:16 +02:00
2023-03-19 16:13:41 -07:00
2023-02-02 19:34:47 -07:00
2023-03-19 16:13:41 -07:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:47 -07:00
2023-02-03 18:55:06 +01:00
2023-04-19 22:43:36 +02:00
2023-04-19 22:43:36 +02:00
2022-12-11 10:26:39 -08:00
2022-12-04 14:48:20 -08:00
2023-04-02 15:17:06 +02:00
2022-08-20 23:55:18 -07:00
2023-04-19 01:03:16 +02:00
2023-04-19 01:03:16 +02:00