save filtered version of file to disk
koreno opened this issue · comments
Ofer Koren commented
allow the user to save the filtered version of a file back to disk, prompting for a file path (provide a nice default, such as <orig-file-path>.filtered
)