Use ng-if to switch between pdf and editor

This commit is contained in:
Chrystal Griffiths 2018-10-05 11:19:20 +01:00
parent 752658f773
commit d51549c4f0

View file

@ -102,7 +102,6 @@ div.full-size(
)
i.synctex-control-icon
div.full-size(
ng-if="ui.pdfLayout == 'flat'"
ng-show="ui.view == 'pdf'"
ng-if="ui.pdfLayout == 'flat' && ui.view == 'pdf'"
)
include ./pdf