--- pan-0.129.old/pan/gui/group-pane.cc 2007-05-15 08:35:02.000000000 +0200 +++ pan-0.129/pan/gui/group-pane.cc 2007-05-15 09:44:08.000000000 +0200 @@ -512,7 +512,7 @@ TextMatch match; TextMatch * pmatch (0); if (!search_text.empty()) { - match.set (search_text, TextMatch::CONTAINS, false); + match.set (search_text, TextMatch::REGEX, false); pmatch = &match; }