Interactive mode: add filter negation (!7761) · Merge requests · Warren Gifford / sourcegraph

Warren Gifford requested to merge fa/negated-filters into master Jan 15, 2020

Created by: attfarhan

This PR adds the ability to negate filters in interactive mode.

It adds a - icon in a toggle next to the filter input for filters that are able to be negated.

(Note: PR is based off of the open interactive mode PR)

Interactive mode: add filter negation