Skip to content

fix(erd): interface review polish (notes, keys, views menu, grouping hint, marks) - #1301

Merged
ZhuchkaTriplesix merged 1 commit into
devfrom
fix/erd-ui-review-2
Oct 10, 2026
Merged

ZhuchkaTriplesix merged 1 commit into
devfrom
fix/erd-ui-review-2

Conversation

@ZhuchkaTriplesix

Copy link
Copy Markdown
Member

Items 5–9 of the ER diagram interface review (1, 2, 4 were #1299, 3 was #1300).

  • Plain note: a note without a colour was filled with the canvas colour and had only a hairline. It is now a slightly darker sheet (7 % of the muted foreground) with the cards' shadow; the SVG and PDF use the same tint.
  • Keys after a note: touching a note, its resize handle or a group title takes the keyboard back to the canvas; before, Esc / Ctrl+0 / Ctrl+F did nothing if the focus had been elsewhere (another pane, a closed dialog).
  • Views menu: every row has a radio mark (the active one filled), so labels line up; names over 28 characters are cut with an ellipsis in the menu and on the toolbar.
  • Grouping hint: a card's New group… entry shows Shift+click marks more.
  • Marked card: a ring outside the card instead of a 2.5 px border, which took 3 px from the content width the card is measured for and could cut a long type.

Tests: test/features/erd/erd_ui_review_polish_test.dart — note fill and shadow; Ctrl+0 works after tapping a note with the focus on a widget outside the diagram; the long view name; the hint; the marked card's border width and ring.

…iews menu, grouping hint, marked cards

- A note without a colour is a slightly darker sheet with a shadow, on
  screen and in the exports, not the canvas colour with a hairline.
- Touching a note, its resize handle or a group title gives the keyboard
  back to the canvas, so Esc, zoom and search keys work.
- Every row of the views menu has a mark, so the labels line up; long view
  names are cut in the menu and the toolbar.
- A card's New group... entry says that Shift+click marks more tables.
- A marked card gets a ring outside it instead of a thicker border, so its
  content keeps the width it was measured for.
@ZhuchkaTriplesix
ZhuchkaTriplesix merged commit a63d4e8 into dev Oct 10, 2026
15 checks passed
@ZhuchkaTriplesix
ZhuchkaTriplesix deleted the fix/erd-ui-review-2 branch October 11, 2026 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant