Louis Heredero HEL
5 Followers · 3 Following
Overview Repositories
32
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to dev at HEL/circuiteria 2025-08-24 11:01:04 +00:00
d73215c889 Merge pull request 'feature: added guided wire style' (#14) from Shmerlard/circuiteria:dev into dev
87643983ec added guided wire
Compare 2 commits »
HEL merged pull request HEL/circuiteria#14 2025-08-24 11:01:02 +00:00
feature: added guided wire style
HEL approved HEL/circuiteria#14 2025-08-24 11:00:37 +00:00
feature: added guided wire style

Very nice work, thank you very much 👍

HEL commented on issue HEL/rivet-typst#9 2025-08-17 13:14:45 +00:00
Unknown font family: ubuntu mono

I do agree that putting Ubuntu Mono as the default is not ideal since it is not available on the web-app

HEL commented on issue HEL/rivet-typst#9 2025-08-17 13:13:40 +00:00
Unknown font family: ubuntu mono

You can configure an alternative font using the config options default-font-family and italic-font-family For example:

#import "@preview/rivet:0.3.0": config, schema

#set…
HEL opened issue HEL/circuiteria#13 2025-08-17 12:41:50 +00:00
Update manual
HEL commented on pull request HEL/circuiteria#12 2025-08-17 12:40:36 +00:00
Add radius parameter to block

Yes, it needs to be updated manually, but I can do that later I'll create an issue to remember

HEL pushed to dev at HEL/circuiteria 2025-08-17 12:36:06 +00:00
94fef0a245 Merge pull request 'Add radius parameter to block' (#12) from Shmerlard/circuiteria:main into dev
1a0a659ace no font is set in circuit
f2ce91ec39 small fix for radius
043bb339fe font arguement, radius arguement
Compare 4 commits »
HEL merged pull request HEL/circuiteria#12 2025-08-17 12:36:04 +00:00
Add radius parameter to block
HEL commented on pull request HEL/circuiteria#12 2025-08-17 12:35:41 +00:00
Add radius parameter to block

Perfect, thank you 👍

HEL approved HEL/circuiteria#12 2025-08-17 12:35:20 +00:00
Add radius parameter to block
HEL commented on pull request HEL/circuiteria#12 2025-08-17 12:24:51 +00:00
Add radius parameter to block

Would be better not to set the font at all

HEL suggested changes for HEL/circuiteria#12 2025-08-17 12:24:51 +00:00
Add radius parameter to block
HEL commented on pull request HEL/circuiteria#12 2025-08-17 12:23:27 +00:00
Add radius parameter to block

Hi ! 👋 Thank you for your contribution ! The radius parameter is a great addition 👍 Regarding the font, I think it would simply be better not to set it in the diagram an let the user set it…

HEL opened issue HEL/chronos#21 2025-07-28 22:36:08 +00:00
Synchronized sequence not aligned if only one has a comment
HEL opened issue HEL/chronos#20 2025-07-28 22:29:38 +00:00
New participants in sync are not detected
HEL closed issue HEL/chronos#17 2025-07-28 22:18:28 +00:00
_break and _opt call grp instead of _grp: compilation error
HEL pushed to dev at HEL/chronos 2025-07-28 22:18:09 +00:00
1000a3a19a Merge pull request 'Fix group overflows' (#19) from fix/issue-18-group-size into dev
f3763cb1f7 updated special-group test
c19d507486 fixed self-sequence overflow
fe01e63dd0 fixed group name and description overflow
Compare 4 commits »
HEL deleted branch fix/issue-18-group-size from HEL/chronos 2025-07-28 22:18:09 +00:00
HEL merged pull request HEL/chronos#19 2025-07-28 22:18:07 +00:00
Fix group overflows