String filters input box

[nfelnlp]

Ad-hoc updates to temp_dataset based on custom inputs to a filter text box and by tracking keystrokes (keyup) work really efficiently, it turns out.

• Input box for string filters ([Operations] Handle "includes" string filters by accessing filtered temp_dataset #43)
• Function in flask_app.py for handling string filters of the DataFrame

This filtering only happens in the background, however. It has to be shown in the interface as well

• Ad-hoc update of the entries to show the temp_dataset
• Initial view of dataset viewer should be the same as with an empty input (unfiltered dataset) #47
• Add background color to highlight text spans matching the query
• Adapt other prompts ([Data] Adapt {span} prompts to custom input functionality #36)

Nice to have (#19)

• Pagination for more than 10 entries
• Clicking on an icon next to an instance in dataset viewer enters "ID xx" into input box
• Clicking on a "On this subset..." button next to dataset viewer inserts a random "includes" prompt and caches this temp dataset to be used in the backend

[nfelnlp]

[qiaw99]