remove_filter


Description:

public void remove_filter (FileFilter filter)

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

Parameters:

this

a `GtkFileChooser`

filter

a `GtkFileFilter`