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