public filter(create_match_func creator) { create_match = creator; var empty_match = new_match(new BitArray(0), line.empty_line(), -1, font_info.default_font.copy()); matches_ = new match_list(empty_match); }
public filter(create_match_func creator) { create_match = creator; var empty_match = new_match(new BitArray(0), line.empty_line(), -1, font_info.default_font_copy); matches_ = new match_list(empty_match); }