honestbleeps/Reddit-Enhancement-Suite — pull request #21 by s-quark (2011-11-23 23:59:01+00:00)
Title: Cleanup and bugfixes for betteReddit's pinHeader and pinSubredditBar

I noticed 98f12cce3e66b316fb81f86c02541a9c5948b779 would make the header too big when the subreddit bar was pinned in betteReddit.

If the Subreddit Manager was enabled, the spacer that `pinSubredditBar()` inserted would be made too short. This was due to a workaround for a problem in 3.4 where the subreddit bar would become really narrow and 3 lines tall. That problem seems to have disappeared, so the workaround is no longer necessary.

Finally, the recursive `setTimeout()` call in `pinHeader()` is no longer needed, since reddit now includes the height and width of the subreddit logo in its HTML.