When a record filter is applied, the zoom to area button zooms to the smallest area that shows all records, but it would be ideal if it zoomed to the smallest area that shows only the filtered records