Code

Live Projectors#1420

Code

Draft

disconcision wants to merge 34 commits intodevhazelgrove/hazel:devfrom projectors-livehazelgrove/hazel:projectors-liveCopy head branch name to clipboard

+2,014-468

Commits

Commits on Nov 20, 2024

• projectors live init: an attempt at extracing vals for projectors: in maketerm, wrap projector syntax in Parens variant, which is then retained through elaboration and its evaluation is tracked lik…

  Show description for 881a086
  disconcision

  committed
  881a086

• clarify live projector statics

  disconcision

  committed
  1d07174

• live projectors view layer. minimal poc complete

  disconcision

  committed
  08c21d1

Commits on Nov 25, 2024

• merge

  disconcision

  committed
  535ec65

• rename Dynamics

  disconcision

  committed
  dfbd034

• dynamics probes for live projectors. experiment with ExpToSegment

  disconcision

  committed
  376f411

Commits on Nov 30, 2024

• projector probes have access to values and reference environments

  disconcision

  committed
  09d08e9

Commits on Dec 4, 2024

• surface projector probe reference environment display on hover

  disconcision

  committed
  4ce84f1

Commits on Dec 6, 2024

• typo

  disconcision

  committed
  323338f

• Merge branch 'editor-output' of github.com:hazelgrove/hazel into projectors-live

  disconcision

  committed
  34b27e4

Commits on Dec 7, 2024

• basic value abbreviator

  disconcision

  committed
  48ee429

Commits on Dec 9, 2024

• drag to resize value abbreviations

  disconcision

  committed
  ce355ab

Commits on Dec 10, 2024

• simple persistent closure cursor

  disconcision

  committed
  4415b81

• closureenv cleanup. probe style tweaks

  disconcision

  committed
  5e93bc6

• live projectors cleanup

  disconcision

  committed
  18c4751

Commits on Dec 11, 2024

• live projectors view cleanup

  disconcision

  committed
  2f94e7a

• live projectors in exercises mode

  disconcision

  committed
  0ee836b

• alt/option-v to toggle probes. partial fix to projector panel desync bug

  disconcision

  committed
  0af9929

Commits on Dec 13, 2024

• probe projectors: better logic for closure co-inhabitation. better style

  disconcision

  committed
  8dd2f78

Commits on Dec 16, 2024

• clean up live projectors maketerm

  disconcision

  committed
  fffd013

• projectors live cleanup

  disconcision

  committed
  dc8ebfe

• projectors live cleanup

  disconcision

  committed
  d64e739

• accidentally a dir

  disconcision

  committed
  18ceb80

• live projectors cleanup

  disconcision

  committed
  1ea2ac4

• merge fix

  disconcision

  committed
  31c8e72

Commits on Dec 19, 2024

• truncate probe projector closures lists after 30 items, controls to scroll. live value styling

  disconcision

  committed
  953e4a2

Commits on Dec 22, 2024

• probe projectors on patterns

  disconcision

  committed
  6da6244

• fixed bug with wrong env being passed to live projectors on function patterns

  disconcision

  committed
  bfe13af

• better styling for live pat probe

  disconcision

  committed
  8ea387e

Commits on Dec 28, 2024

• probe projector ap descent indication

  disconcision

  committed
  6fb7a52

• probe projector ap indication in patterns. css cleanup

  disconcision

  committed
  8640845

Commits on Dec 29, 2024

• style deeper stack ap indications differently than first degree

  disconcision

  committed
  9ce7709

• projector API flag for dynamics collection

  disconcision

  committed
  10c3a35

• all probe cells now individually resizable

  disconcision

  committed
  527d392