Michael An
e88437bbdc
change grep icon color ( #6665 )
2024-08-29 16:41:16 +08:00
Michael An
63e64f83df
change empty tip title margin ( #6614 )
...
fix other css format
2024-08-22 14:59:00 +08:00
llj
2e87f7acb4
['pdf file view'] fixup for the display of the tooltips when hover on the operation icons in the top-right corner ( #6563 )
2024-08-15 18:09:49 +08:00
llj
5fc181a882
[pdf viewer] added loading icon; adjusted the position of the scrollb… ( #5583 )
...
* [pdf viewer] added loading icon; adjusted the position of the scrollbar of the viewer container
* [pdf file view] fixed UI of the image in the details panel
2023-08-11 15:17:10 +08:00
llj
542e54ad05
Pdf viewer ( #5574 )
...
* [pdf viewer] use the latest PDFjs(v3.8.162)
* [pdf viewer] redesigned it: added side panel(thumbnail panel) and bottom bar(includes side panel toggle, 'file page manager', and 'zoom manager')
* [pdf file view] added 'print' to the top-right toolbar
2023-08-09 18:54:58 +08:00
llj
33ff193d8d
[pdf viewer] improved loading
...
- display a loading icon instead of a blue progress bar in the `#loadingBar`
- added loading icons for pdf pages
2022-03-03 14:43:48 +08:00
llj
33401fcc35
[pdf viewer] use the latest PDFjs(v2.10.377)
...
- added 'loadingBar'
- show 'error info', 'password dialog' when needed
2021-10-20 15:22:21 +08:00
llj
bacd350667
Pdf zoom ( #4430 )
...
* [pdf file view] added 'zoom in/out'
* [pdf file view] redesigned 'zoom toolbar'
2020-02-08 09:24:23 +08:00
llj
e37598eff5
[pdf file view] added sf_pdf_images_path and etc.
2019-06-28 16:59:36 +08:00
llj
77fae49d6a
[pdf file view] make links in PDF files clickable ( #3257 )
2019-04-12 17:54:34 +08:00
llj
e828abce04
Pdf file view ( #3080 )
...
* [pdf file view] rewrote it with react
* [shared pdf file view] rewrote it with react
2019-03-09 08:36:14 +08:00