Incremental filtering in FAR3 editor