Skip to content

notch customisation - #12

Merged
jwklong merged 6 commits into
developfrom
notch-customisation
Oct 17, 2026
Merged

jwklong merged 6 commits into
developfrom
notch-customisation

Conversation

@jwklong

@jwklong jwklong commented Oct 16, 2026 •

Copy link
Copy Markdown
Member

Notch Sizing

{E2A2E844-AEB8-448C-8945-907DE0424762}

i was gonna do notch width but theres some like extremely weird stuff with it which i dont want to figure out

Notch Spacing

image

gui part at PenguinMod-Port/scratch-gui#15

jwklong and others added 6 commits October 16, 2026 13:14
Signed-off-by: jwklong <jwklong@gmx.com>
Signed-off-by: jwklong <jwklong@gmx.com>
Signed-off-by: jwklong <jwklong@gmx.com>
Signed-off-by: jwklong <jwklong@gmx.com>
@jwklong
jwklong marked this pull request as ready for review October 16, 2026 22:14
@jwklong
jwklong merged commit e304695 into develop Oct 17, 2026
2 checks passed
@jwklong
jwklong deleted the notch-customisation branch October 17, 2026 09:12
github-actions Bot pushed a commit that referenced this pull request Oct 17, 2026
* notch spacing

* tweaks

Signed-off-by: jwklong <jwklong@gmx.com>

* notch height

Signed-off-by: jwklong <jwklong@gmx.com>

* fix corner radius stuff as well

Signed-off-by: jwklong <jwklong@gmx.com>

* i dont know

Signed-off-by: jwklong <jwklong@gmx.com>

---------

Signed-off-by: jwklong <jwklong@gmx.com>
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.

1 participant