il y a 8 ans · 7ae39a0f84
--- a/services/web/app/views/project/editor/editor.pug
+++ b/services/web/app/views/project/editor/editor.pug
@@ -102,6 +102,7 @@ div.full-size(
 
				 		)
			
 
				 			i.synctex-control-icon
			
 
				 div.full-size(
			
 
				-	ng-if="ui.pdfLayout == 'flat' && ui.view == 'pdf'"
			
 
				+	ng-if="ui.pdfLayout == 'flat'"
			
 
				+	ng-show="ui.view == 'pdf'"
			
 
				 )
			
 
				 	include ./pdf