Commit graph

25 commits

Author SHA1 Message Date
Brian Teague
60c639b60e
Consolidate gitignore
Keep certain files with no file extension

Keep specific files with no file extension

Delete all gitignore files
2024-01-10 22:16:04 -05:00
Anton-4
070cb6860d
Merge pull request #5728 from roc-lang/checkmate-ui-improvements
More checkmate improvements
2023-08-04 12:15:48 +02:00
Ayaz Hafiz
9cf9a0d0b3
Note if no epoch selected 2023-08-02 17:55:42 -05:00
Ayaz Hafiz
66b6b8b53d
Support viewing multiple epochs 2023-08-02 17:48:32 -05:00
Ayaz Hafiz
f3c0b54fe9
Pull out shared hook 2023-08-02 14:44:06 -05:00
Ayaz Hafiz
43e2f2f091
Better epoch selection 2023-08-02 14:37:01 -05:00
Ayaz Hafiz
a5eaba9ab3
Add support for variable links 2023-08-02 12:10:53 -05:00
Ayaz Hafiz
76ebc64070
Drop dagre 2023-08-02 00:08:39 -05:00
Ayaz Hafiz
d701eb8e30
Fix typo in checkmate 2023-08-01 23:59:02 -05:00
Ayaz Hafiz
29a5aab56d
Linter 2023-07-31 18:20:37 -05:00
Ayaz Hafiz
8069d3ad34
Scroll to epoch 2023-07-31 18:18:41 -05:00
Ayaz Hafiz
e3129032e8
Better display of epochs 2023-07-31 18:05:32 -05:00
Ayaz Hafiz
bea445bafa
More layout options, and focus on variable on re-selection 2023-07-31 12:53:42 -05:00
Ayaz Hafiz
734111711d
Keydown and layouter improvements 2023-07-31 11:52:39 -05:00
Ayaz Hafiz
90d7d87e8c
Improve auto-layout logic 2023-07-31 11:07:55 -05:00
Ayaz Hafiz
84165d21f4
More improvements 2023-07-18 11:24:50 -05:00
Ayaz Hafiz
8388c93e62
A bunch of improvements 2023-07-17 18:55:59 -05:00
Ayaz Hafiz
2b6b1d858d
Colors 2023-07-17 10:24:52 -05:00
Ayaz Hafiz
828b1bd060
Add static data for now 2023-07-17 10:24:44 -05:00
Ayaz Hafiz
18f381e782
ErasedLambda 2023-07-17 10:13:11 -05:00
Ayaz Hafiz
7d3e7ffdfb
Load up 2023-07-17 10:12:18 -05:00
Ayaz Hafiz
87bb6c8437
Start supporting printing unifications 2023-07-17 10:12:18 -05:00
Ayaz Hafiz
9e055dcf53
Basis support for inspecting types 2023-07-17 10:12:17 -05:00
Ayaz Hafiz
b3ccc905a4
Fix some checkmate bad schemas 2023-07-17 09:51:01 -05:00
Ayaz Hafiz
27dd9d03aa
Stub out checkmate react app 2023-07-17 09:50:38 -05:00