Expand help text in case of no parse results

XanderVertegaal · XanderVertegaal · commit a4292ddc5f2b · 2026-03-19T09:29:45.000+01:00
diff --git a/frontend/src/app/annotate/annotation-parse-results/annotation-parse-results.component.html b/frontend/src/app/annotate/annotation-parse-results/annotation-parse-results.component.html
@@ -22,7 +22,7 @@ <h2 ngbAccordionHeader>
         </div>
         } @empty {
         <div class="mt-3">
-            <i class="text-muted" i18n>No parse results to display yet.</i>
+            <i class="text-muted" i18n>No parse results to display yet. Press the 'Parse and Prove' button to see the parse results.</i>
         </div>
         }
     </div>

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ <h2 ngbAccordionHeader>`
`22`	`22`	`</div>`
`23`	`23`	`} @empty {`
`24`	`24`	`<div class="mt-3">`
`25`		`- <i class="text-muted" i18n>No parse results to display yet.</i>`
	`25`	`+ <i class="text-muted" i18n>No parse results to display yet. Press the 'Parse and Prove' button to see the parse results.</i>`
`26`	`26`	`</div>`
`27`	`27`	`}`
`28`	`28`	`</div>`