am 09a21659: Dropdown list tweaks.
Sam Blitzstein authored
* commit '09a21659':
  Dropdown list tweaks.
c21b8779