chiark / gitweb /
Generalise SingletonSource to hold a whole vector.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 07:42:16 +0000 (07:42 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 08:16:16 +0000 (08:16 +0000)
commit185ebac2ad32ccb98a96da3281c62d4763a81baf
tree37bba987e26af00b0a975f9655772d5d9b54d831
parent1484d354f49144fe5524ce713357822259af0b6d
Generalise SingletonSource to hold a whole vector.

The previous new() constructor is now a singleton(), so it can still
work for its current purpose.
src/file.rs