Code

Highlight the anchor target#441

Code

Merged

bakkot merged 17 commits intotc39:maintc39/ecmarkup:mainfrom gibson042:2022-05-highlight-targetgibson042/ecmarkup:2022-05-highlight-targetCopy head branch name to clipboardSep 13, 2023

+32-10

Commits

Commits on May 1, 2022

• Highlight the anchor target

  gibson042

  committed
  9f3c5ae

  Copy full SHA for 9f3c5ae

Commits on Aug 31, 2023

• Update elements.css

  michaelficarra

  authored
  103241b

  Copy full SHA for 103241b

• Merge branch 'main' into 2022-05-highlight-target

  michaelficarra

  authored
  3578de2

  Copy full SHA for 3578de2

• exclude non-leaf clauses and annexes

  michaelficarra

  authored
  97b8c23

  Copy full SHA for 97b8c23

• for emu-clause nodes that contain other emu-clause nodes, only highlight the heading

  michaelficarra

  authored
  e3f2c59

  Copy full SHA for e3f2c59

• add a more subtle persistent indicator to link targets

  michaelficarra

  authored
  923c59a

  Copy full SHA for 923c59a

• forgot about emu-eqn

  michaelficarra

  authored
  50c754d

  Copy full SHA for 50c754d

• just use an exclusion list instead

  michaelficarra

  authored
  7b138e0

  Copy full SHA for 7b138e0

• handle emu-production like clauses

  michaelficarra

  authored
  0d2fa06

  Copy full SHA for 0d2fa06

• combine text-decoration

  michaelficarra

  authored
  a68719d

  Copy full SHA for a68719d

• split out persistent indicator to a separate PR

  michaelficarra

  authored
  ca5d17d

  Copy full SHA for ca5d17d

• Merge branch 'main' into 2022-05-highlight-target

  michaelficarra

  authored
  7fcdde9

  Copy full SHA for 7fcdde9

Commits on Sep 6, 2023

• Don't apply a fading highlight to clause-like targets

  gibson042

  committed
  5f0656b

  Copy full SHA for 5f0656b

• Make the fading target-element highlight persistent with focus

  gibson042

  committed
  1592732

  Copy full SHA for 1592732

• Make <dfn> elements capable of persistent focus-associated highlighting

  gibson042

  committed
  843c97d

  Copy full SHA for 843c97d

• Remove ramp-up from the target highlighting animation for better tab-away behavior

  gibson042

  committed
  f7027b1

  Copy full SHA for f7027b1

Commits on Sep 13, 2023

• Merge branch 'main' into 2022-05-highlight-target

  bakkot

  authored
  1adf9e6

  Copy full SHA for 1adf9e6