(core) Update sort and filter UI

Summary:
The sort and filter UI now has a more unified UI, with similar
capabilities that are accessible from different parts of Grist.
It's now also possible to pin individual filters to the filter bar,
which replaces the old toggle for showing all filters in the
filter bar.

Test Plan: Various tests (browser, migration, project).

Reviewers: jarek, dsagal

Reviewed By: jarek, dsagal

Subscribers: dsagal

Differential Revision: https://phab.getgrist.com/D3669

app/client/ui2018/IconList.ts

@@ -90,6 +90,7 @@ export type IconName = "ChartArea" |
   "Pencil" |
   "PinBig" |
   "PinSmall" |
+  "PinTilted" |
   "Pivot" |
   "PivotLight" |
   "Plus" |
@@ -101,6 +102,7 @@ export type IconName = "ChartArea" |
   "Remove" |
   "Repl" |
   "ResizePanel" |
+  "Revert" |
   "RightAlign" |
   "Script" |
   "Search" |
@@ -220,6 +222,7 @@ export const IconList: IconName[] = ["ChartArea",
   "Pencil",
   "PinBig",
   "PinSmall",
+  "PinTilted",
   "Pivot",
   "PivotLight",
   "Plus",
@@ -231,6 +234,7 @@ export const IconList: IconName[] = ["ChartArea",
   "Remove",
   "Repl",
   "ResizePanel",
+  "Revert",
   "RightAlign",
   "Script",
   "Search",

app/client/ui2018/buttons.ts

@@ -22,6 +22,7 @@ export const cssButton = styled('button', `
   outline: none;
   border-style: none;
   line-height: normal;
+  user-select: none;
 
   /* Vars */
   font-size:     ${vars.mediumFontSize};