Skip to content

Remove ThinElement#53

Merged
ax3l merged 2 commits into
pals-project:mainfrom
EZoni:remove_thin_element
Dec 3, 2025
Merged

Remove ThinElement#53
ax3l merged 2 commits into
pals-project:mainfrom
EZoni:remove_thin_element

Conversation

@EZoni

@EZoni EZoni commented Dec 3, 2025

Copy link
Copy Markdown
Member

I think this implements @ax3l's suggestion in #47 (comment), though I'm not sure if it really addresses @wlin6927's original concern raised in #47 (comment) (which I interpreted as something along the lines of "a Kicker element could be either thick or thin", etc.).

@EZoni EZoni requested review from ax3l, cemitch99 and wlin6927 December 3, 2025 01:10
@wlin6927

wlin6927 commented Dec 3, 2025

Copy link
Copy Markdown
Member

Yes my issue is a ThickElement will throw an error if user define the length as 0. I’m ok with deleting ThinElement as proposed in this pull request, maybe an easy solution to my problem is to make the length of ThickElement Ge(0) instead of Gt(0). @EZoni @ax3l @cemitch99

@ax3l ax3l changed the title [WIP] Remove ThinElement Remove ThinElement Dec 3, 2025

@ax3l ax3l left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you, LGTM :)

@ax3l

ax3l commented Dec 3, 2025

Copy link
Copy Markdown
Member

Thanks for the feedback, Lucy!!

@ax3l ax3l merged commit 6998a31 into pals-project:main Dec 3, 2025
5 checks passed
@EZoni EZoni deleted the remove_thin_element branch December 3, 2025 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants