From fea08fc18d268ace4f843ec2b57cc33e36562098 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Tue, 8 Jul 2025 10:33:56 +1000 Subject: Remove uses of Regex in BufferManager by taking a more general filter --- src/buffer_manager.hh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/buffer_manager.hh') diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 5b687a7f..2b4c0b31 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -3,6 +3,7 @@ #include "buffer.hh" #include "vector.hh" +#include "utils.hh" #include @@ -28,8 +29,8 @@ public: Buffer* get_buffer_ifp(StringView name); Buffer& get_buffer(StringView name); - Buffer* get_buffer_matching_ifp(const Regex& regex); - Buffer& get_buffer_matching(const Regex& regex); + Buffer* get_buffer_matching_ifp(const FunctionRef& filter); + Buffer& get_buffer_matching(const FunctionRef& filter); void make_latest(Buffer& buffer); void arrange_buffers(ConstArrayView first_ones); -- cgit v1.2.3