|
@@ -19,7 +19,10 @@ div.full-size(
|
|
|
|
|
|
|
|
.ui-layout-east
|
|
.ui-layout-east
|
|
|
div(ng-if="ui.pdfLayout == 'sideBySide'")
|
|
div(ng-if="ui.pdfLayout == 'sideBySide'")
|
|
|
- include ./pdf
|
|
|
|
|
|
|
+ if showNewPdfPreview
|
|
|
|
|
+ pdf-preview-pane()
|
|
|
|
|
+ else
|
|
|
|
|
+ include ./pdf
|
|
|
|
|
|
|
|
.ui-layout-resizer-controls.synctex-controls(
|
|
.ui-layout-resizer-controls.synctex-controls(
|
|
|
ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
|
|
ng-show="!!pdf.url && settings.pdfViewer == 'pdfjs'"
|
|
@@ -48,7 +51,10 @@ div.full-size(
|
|
|
ng-if="ui.pdfLayout == 'flat'"
|
|
ng-if="ui.pdfLayout == 'flat'"
|
|
|
ng-show="ui.view == 'pdf'"
|
|
ng-show="ui.view == 'pdf'"
|
|
|
)
|
|
)
|
|
|
- include ./pdf
|
|
|
|
|
|
|
+ if showNewPdfPreview
|
|
|
|
|
+ pdf-preview-pane()
|
|
|
|
|
+ else
|
|
|
|
|
+ include ./pdf
|
|
|
|
|
|
|
|
// fallback, shown when no file/view is selected
|
|
// fallback, shown when no file/view is selected
|
|
|
div.full-size.no-file-selection(
|
|
div.full-size.no-file-selection(
|