Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix icons clipping when bouncing #307

Closed
wants to merge 6 commits into from
Closed

Conversation

leolost2605
Copy link
Member

@leolost2605 leolost2605 commented Nov 2, 2024

Fixes #275 without some issues introduced in #303 like a gap between maximized window and dock when set to never hide or offset context menus.

Requires elementary/gala#2108

@teamcons
Copy link

teamcons commented Nov 8, 2024

thank you :)

@zeebok
Copy link
Contributor

zeebok commented Nov 12, 2024

I installed the gala update so the dock isn't below the screen edge but the clipping is still happening

Screenshot from 2024-11-11 21 56 06

Edit: This happens in both session types

@leolost2605
Copy link
Member Author

I installed the gala update so the dock isn't below the screen edge but the clipping is still happening

Screenshot from 2024-11-11 21 56 06

Edit: This happens in both session types

Hmm that's strange I just tested again and the issue is fixed for me when using gala main and this branch on both X and wayland.
Do you have some logs that might help?
Or do you have some custom theming applied? This includes some CSS changes that are required to apply 🤷

Copy link
Member

@lenemter lenemter left a comment

Choose a reason for hiding this comment

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

So, this PR hardcodes bottom margin... but we probably should make it editable by custom css because of #304 (comment). You can probably make a some widget on the bottom and set its height to 9 by default in the Application.css, but I'm not sure if it will work.

@teamcons
Copy link

teamcons commented Nov 22, 2024

So, this PR hardcodes bottom margin... but we probably should make it editable by custom css because of #304 (comment). You can probably make a some widget on the bottom and set its height to 9 by default in the Application.css, but I'm not sure if it will work.

Bottom padding propery for the dock element, i would guess.

can confirm clipping still happening with this branch

@leolost2605
Copy link
Member Author

So, this PR hardcodes bottom margin... but we probably should make it editable by custom css because of #304 (comment). You can probably make a some widget on the bottom and set its height to 9 by default in the Application.css, but I'm not sure if it will work.

Bottom margin has always been hardcoded (in the CSS), this PR only uses that value to get some calculations right. I think we should change that in a different PR.

@leolost2605
Copy link
Member Author

can confirm clipping still happening with this branch

That is so strange :(
Is there anyone for whom this branch fixes clipping?
Also are you sure you installed the updated CSS? I'm not sure but I had some issues with it not being updated in the past and a ninja clean followed by a ninja install would fix that 🤷

@leolost2605
Copy link
Member Author

So, this PR hardcodes bottom margin... but we probably should make it editable by custom css because of #304 (comment). You can probably make a some widget on the bottom and set its height to 9 by default in the Application.css, but I'm not sure if it will work.

Bottom margin has always been hardcoded (in the CSS), this PR only uses that value to get some calculations right. I think we should change that in a different PR.

Ah nvm I think I missed your point (with CSS being changeable and the constant not), I'll look into it

@zeebok
Copy link
Contributor

zeebok commented Dec 2, 2024

can confirm clipping still happening with this branch

That is so strange :( Is there anyone for whom this branch fixes clipping? Also are you sure you installed the updated CSS? I'm not sure but I had some issues with it not being updated in the past and a ninja clean followed by a ninja install would fix that 🤷

Alright I pulled latest master since the referred gala PR was merged, did a clean, and an install, and..... it mostly works! I think the margin is just not quite high enough. Most icons work but Photos has the tip of the tilted photo at the top of the icon cut off.

@danirabbit
Copy link
Member

Superseded by #328

@danirabbit danirabbit closed this Dec 9, 2024
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.

Cosmetic issue: app bounce clips app icon
6 participants