|
elements
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
browser_api.js
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
index.css
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
index.html
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
main.js
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
navigator.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
open_pdf_params_parser.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
pdf.js
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
pdf_scripting_api.js
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
resources.grd
|
update pdf ui to work with webui
|
2017-03-14 00:25:59 +05:30 |
|
toolbar_manager.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
viewport.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
viewport_scroller.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
|
zoom_manager.js
|
import pdf ui
|
2017-03-14 00:25:59 +05:30 |
