semantics etc.

Kai von Fintel's website

Double Scrolling Arrows

Here’s how to make double arrows appear at both ends of any window scrollbar (vertical and horizontal). At the command line, write

1
defaults write -g AppleScrollBarVariant DoubleBoth

The defaults command (about which one can learn by typing ‘man defaults’ in the terminal) understands -g as a shortcut for writing a new preference to NSGlobalDomain, which sets defaults for the whole system.