keep only basic changes...
keep only basic changes
Kept changes:
- fewer, shorter menu items (too cryptic?), with icons.
- main checkbox does not open menu, but selects all/none.
- total selection count next to main checkbox (unsure if this is to be
kept. It does address
#7628).
Removed changes:
- sticky menu.
- checkboxes and counters in menu.
