diff options
Diffstat (limited to 'gui/internal/ui/rules.go')
| -rw-r--r-- | gui/internal/ui/rules.go | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gui/internal/ui/rules.go b/gui/internal/ui/rules.go index d582f1e..939d77f 100644 --- a/gui/internal/ui/rules.go +++ b/gui/internal/ui/rules.go @@ -101,8 +101,6 @@ func newRulesView(w *Window) *rulesView { left := gtk.NewBox(gtk.OrientationVertical, 0) left.Append(editScroll) - left.Append(gtk.NewSeparator(gtk.OrientationHorizontal)) - left.Append(diagScroll) // Test on file: any file under the directory, answered from the text in // the editor rather than from what is saved. @@ -152,6 +150,10 @@ func newRulesView(w *Window) *rulesView { r.root.Append(bar) r.root.Append(gtk.NewSeparator(gtk.OrientationHorizontal)) r.root.Append(panes) + // The problems sit under both sub-tabs: a form's mistake is reported + // where the form is, not only in the text (his report, 2026-09-16). + r.root.Append(gtk.NewSeparator(gtk.OrientationHorizontal)) + r.root.Append(diagScroll) // Switching to Forms re-reads the text; text that does not parse keeps // the Text tab until it is fixed (GUI design ยง5.2). @@ -336,6 +338,7 @@ func (r *rulesView) goToLine(name string) { if err != nil || line <= 0 { return } + r.showText() iter, ok := r.buf.IterAtLine(line - 1) if !ok { return |