diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-16 23:25:26 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-16 23:25:26 +0200 |
| commit | 168fae0f72c3ca5ff9b307a42fb75173e58b5b17 (patch) | |
| tree | 4596a1376387df126428c74041dc2acfbbee4a02 /gui/internal/ui/rules.go | |
| parent | 22c324d8e887a2c38d9ef01574e4c3f87f6b1706 (diff) | |
| download | krino-168fae0f72c3ca5ff9b307a42fb75173e58b5b17.tar.gz krino-168fae0f72c3ca5ff9b307a42fb75173e58b5b17.zip | |
gui: show the problems under both sub-tabs; name the operator rows; fix the list labels after an edit
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 |
