clean up syntax check options on menu

services/web/app/views/project/editor/pdf.jade

@@ -45,7 +45,6 @@ div.full-size.pdf(ng-controller="PdfController")
 					a(href, ng-click="stop_on_validation_error = false")
 						i.fa.fa-fw(ng-class="{'fa-check': !stop_on_validation_error}")
 						|  #{translate("ignore_validation_errors")}
-				li.dropdown-header #{translate("file_checks")}
 				li
 					a(href, ng-click="recompile({check:true})")
 						i.fa.fa-fw()
@@ -114,6 +113,21 @@ div.full-size.pdf(ng-controller="PdfController")
 			strong #{translate("compile_error")}. 
 			span #{translate("generic_failed_compile_message")}.
 
+		.alert.alert-danger(ng-show="pdf.failedCheck")
+			div
+				strong #{translate("failed_compile_check")}.
+			div(ng-show="!check")
+				a(
+					href,
+					ng-disabled="pdf.compiling",
+					ng-click="recompile({try:true})"
+				) #{translate("failed_compile_check_try")}
+				a(
+					href,
+					ng-disabled="pdf.compiling",
+					ng-click="recompile({force:true})"
+				) #{translate("failed_compile_check_ignore")}
+
 		div(ng-repeat="entry in pdf.logEntries.all", ng-controller="PdfLogEntryController")
 			.alert(
 				ng-class="{\
@@ -213,13 +227,6 @@ div.full-size.pdf(ng-controller="PdfController")
 
 				p.entry-content(ng-show="entry.content") {{ entry.content.trim() }}
 
-				p.force-recompile(ng-if="$first && !check && stop_on_validation_error")
-					a.btn.btn-info(
-						href,
-						ng-disabled="pdf.compiling",
-						ng-click="recompile({force:true})"
-					)
-						span() #{translate("force_recompile")}
 		p
 			.files-dropdown-container
 				a.btn.btn-default.btn-sm(