Browse Source

More descriptive link types warning.

waddlesplash 13 years ago
parent
commit
1ed1de10a5
  1. 2
      src/core.js

2
src/core.js

@ -307,7 +307,7 @@ var Page = (function PageClosure() {
item.dest = a.get('D'); item.dest = a.get('D');
break; break;
default: default:
TODO('other link types'); TODO('unrecognized link type: ' + a.get('S').name);
} }
} else if (annotation.has('Dest')) { } else if (annotation.has('Dest')) {
// simple destination link // simple destination link

Loading…
Cancel
Save