mozilla/pdf.js — pull request #3054 by saebekassebil (2013-04-06 13:34:20+00:00)
Title: Disable outline button when unavailable

This is a little accessibility that bugs me, the outline button is clickable although there's no outline available. This PR disables the button (but still creates the `DocumentOutlineView`).

Thoughts on this? If you like this, maybe I should just prevent the creation of a `DocumentOutlineView` in cases where there's no outline?