-
Notifications
You must be signed in to change notification settings - Fork 24
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
Please tell me how to reduce the height of the panel? #335
Comments
There is no explicit setting for height, instead, you can specify height
for individual items and the height of the bar will adjust accordingly. For
a default config, you'll need to adjust min-height for:
1) button#startmenu image, button#module image
2) button#taskbar_item image
3) button#tray_image image
and if you want to make the bar thinner, you'll probably need to change the
clock widget from using 2 lines to using 1.
…On Mon, Feb 3, 2025 at 8:05 PM rediskap ***@***.***> wrote:
Please tell me how to reduce the height of the panel?
—
Reply to this email directly, view it on GitHub
<#335>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ASHPFFEYNBRRWNDODNHGO3L2N7DXJAVCNFSM6AAAAABWM5VWQ6VHI2DSMVQWIX3LMV43ASLTON2WKOZSHAZDQNBRGM4DGOA>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Hi @LBCrion , how can I set a global variable to set these 3 parts for convenience? I've tried these but failed: Set BarHeight = "40px"
button#startmenu image,
button#module image {
min-height: Str(BarHeight);
min-width: Str(BarHeight);
padding: 0px;
margin: 0px;
-GtkWidget-valign: center;
-GtkWidget-vexpand: true;
}
button#taskbar_item image {
min-width: Str(BarHeight);
min-height: Str(BarHeight);
padding-right: 6px;
-ScaleImage-symbolic: false;
} |
The main CSS stylesheet isn't handled as an expression, so you can't use
variables in it. There is a preprocessor, so it would be possible to
implement macros substituting a value across various parts of the
stylesheet. I'm not sure if that's the best way to address this issue
though, since height of various elements may need to be different due to
padding, borders etc.
…On Wed, Feb 5, 2025 at 2:27 AM AClon ***@***.***> wrote:
There is no explicit setting for height, instead, you can specify height
for individual items and the height of the bar will adjust accordingly. For
a default config, you'll need to adjust min-height for:
1. button#startmenu image, button#module image
2. button#taskbar_item image
3. button#tray_image image
and if you want to make the bar thinner, you'll probably need to change the
clock widget from using 2 lines to using 1.
… <#m_181672759953320221_>
Hi @LBCrion <https://github.com/LBCrion> , how can I set a global
variable to set these 3 parts for convenience? I've tried these but failed:
Set BarHeight = "40px"button#startmenu image,button#module image {
min-height: Str(BarHeight);
min-width: Str(BarHeight);
padding: 0px;
margin: 0px;
-GtkWidget-valign: center;
-GtkWidget-vexpand: true;
}button#taskbar_item image {
min-width: Str(BarHeight);
min-height: Str(BarHeight);
padding-right: 6px;
-ScaleImage-symbolic: false;
}
—
Reply to this email directly, view it on GitHub
<#335 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ASHPFFD2XGSGHCEE6YQ75VD2OFZI7AVCNFSM6AAAAABWM5VWQ6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDMMZVGU3DCNBQGE>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Please tell me how to reduce the height of the panel?
The text was updated successfully, but these errors were encountered: