Code

History

Commits on main to src/editor/comments/annotations.css12
  1. Size the PDF's annotation pins like the gutter's, and with the zoom (#641)Leo committed 5 days ago5bd1794
  2. fix(ui): replace " · " separators with quieter, locale-aware punctuation (#611)Leo committed 5 days ago03f018f
  3. fix(ui): sweep polish — tabs, setup, palette, references, history, annotations, dialogs (#606)Leo committed 6 days ago8b1ada8
  4. fix(annotations): PDF marks cover the source's words, margin pins, centred empty state, inline toolbar count (#586)Leo committed 6 days agob69bcf5
  5. fix(ui): whole borders and focus rings at scroll edges, a titlebar without traffic lights starts at the edge, and a centred Build button (#587)Leo committed 6 days ago3667aeb
  6. feat(motion): popups spring, Polish unrolls, accepted edits fold in, and landed changes linger (#572)Leo committed 1 week ago7d62cb1
  7. fix(ui): cut taglines, helper text and secondary labels across the app (#484)Leo committed 2 weeks ago544f484
  8. fix(annotations): answer every action on a panel card, and drop the storage footnote (#472)Leo committed 2 weeks ago41d92fa
  9. feat(comments): a comment card that answers in place, on the source and the PDF (#367)Leo committed 3 weeks ago5273529
  10. feat(ui): one-surface highlight picker, painted source highlights, pictured theme settings (#355)Leo committed 3 weeks ago05947e6
  11. feat(editor): six highlighters with meanings, one click to colour, listed by meaning in Annotations (#329)Leo committed 4 weeks agocc0f0bf
  12. feat(annotations): annotate the source or the PDF, and revise from annotations in rounds (N1) (#300)Leo committed 4 weeks ago345b402