Adds the selection bar extension on Windows and Linux.

This is a fix for #9203.
The blank line? I thought it was cleaner to visually split off `divArgs`