Skip to content

Conversation

@AKArien
Copy link

@AKArien AKArien commented Nov 1, 2025

  • Dock and panel :
    • Changed « Autohide duration » to « Animation duration »
    • Added options to control the delay before doing the showing/hiding animations
    • Added options to place them on the left or right edge of the screen
      • This also includes an « orientation », that allows to override how certain elements might want to change depending on the position. For the dock, this can show the icons with their « base » oriented to an edge of the screen. For the panel, most widgets now have a layout optimised for a vertical bar.
        • this is not the case for window-list, command-output and network widgets
  • Dock :
    • Added dock width option
    • Added maximum entries per line. When this number is exceeded, a new line is created for the next icons.
  • Panel :
    • Renamed « Widgets left » and « Widgets right » to left/top and right/bottom to go with new option to have panel on the sides
    • Added minimal width option
    • Added option to let the panel not span the full edge
      • Option to force the panel to be centered by the middle box instead of the total width. This will lead to more spaced out elements in the side that takes less space

What i now assume was a poor uncrustifying command led to a few changes in the comments, of which i kept those that felt right, although i am not sure this should be included in this pr ?

Adresses #259

@AKArien AKArien marked this pull request as draft November 1, 2025 21:00
@eaglgenes101
Copy link

I'm interested in some of the features in this PR, is this suitable for trying out at this moment?

@AKArien
Copy link
Author

AKArien commented Dec 17, 2025

@eaglgenes101 hi, thanks for your interest !
While some of the code is on the "never let this see the light of day" list, i'm pretty sure most of the features should behave correctly for the user. Of course, please report back if you have any issues or improvements !

Exception is the "orientation" (pivoting) feature : options for rotated icons in the dock don't look and feel great, because the icons are not perfect squares and the widgets are still laid out as per their original dimensions, leading to a bit of overlap. I also meant to let panel widgets be oriented similarly, but it's even more of a problem there.
If you just so happened to know how to properly rotate a widget in gtk4, i'd take it lol. If not, i'm thinking of just giving up on this pivoting ordeal, as it's probably not such great eye candy.

@eaglgenes101
Copy link

In the end, I decided that this functionality isn't exactly what I wanted. That said, having icons on the side dock works well, and I don't recall any bugs I ran into.

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.

2 participants