remove_filter

Description:

public void remove_filter (FileFilter filter)

Removes filter from the list of filters that the user can select between.

this	a `GtkFileChooser`
filter	a `GtkFileFilter`