honestbleeps/Reddit-Enhancement-Suite — pull request #138 by spencerhakim (2012-05-10 20:21:42+00:00)
Title: Added support for scrolling subreddit dropdown

When not using the Subreddit Manager and using the pinned navbar, it is possible that the subreddit dropdown will extend beyond the bottom of the window, leaving the user unable to select a number of subreddits from their dropdown. This change adds an option for enabling a scrolling dropdown similar to the one the Subreddit Manager provides.

http://i.imgur.com/9eER6.png