[web] do not download the pdf in editor only view mode GitOrigin-RevId: 7ae64bddfe385040c4d44c45dadf3358f89ddbd5
@@ -24,8 +24,7 @@ div.full-size(
pdf-synctex-controls()
div.full-size(
- ng-if="ui.pdfLayout == 'flat'"
- ng-show="ui.view == 'pdf'"
+ ng-if="ui.pdfLayout == 'flat' && ui.view == 'pdf'"
)
pdf-preview()