refresh pdf.js (initial port, not yet connected)
Merge remote-tracking branch 'origin/master' into feature/pdfjs-refresh
Merge remote-tracking branch 'origin/master' into feature/pdfjs-refresh
serve pdf.js as a resource from the server (disconnected)
align directory organization and file names to pdf.js output structure
use pdf.js repository directly; sync to pdf.js tip
remove old PDF.JS resources
separate open window and load PDF processes (async)
hook up PDF load event from main GWT window
restore previously set scale when document is re-rendered
guard against requesting arbitrary PDF files from hosted viewer
initial support for synctex searches (source to PDF only)
begin customizing UI on load; make sidebar open by default
initial support for synctex inverse search
remove unused PDF satellite window and UiBinder resources
disable synctex commands when PDF.js window closes
improve window activation and re-compile behavior on Chrome
implement command-click to sync editor with precise PDF location
increase accuracy of toolbar-initiated lookup (page to line)
highlight target synctex location on navigation