Adding Dynamic Padding to Sakura?

Asked by Ethan Ryan L. Valondo

Hello! I like padding on my terminals and have recently decided to move to Sakura because of memory issues. To merge those things together, I put this in my ~/.config/gtk-3.0/gtk.css

vte-terminal {
 padding: 14px;
}

Onto the issue at hand:
Padding is uneven when the program is not fullscreen. I realize this isn't really an issue with Sakura itself, but perhaps we could add padding and dynamic padding in sakura based on the window size?

I would create a fork for this, but I'm completely new to low level languages and have no idea what to do to achieve this. I've thought about a dirty workaround such as editing the contents of the gtk.css based on the window size in a python script, relaunching sakura and restoring the previous state(position, size) of the sakura window using my window managers commands, but I feel that this is too big of a workaround.

If possible, can both padding and dynamic padding be an integrated feature?
Or can someone point me to a not-too dirty workaround? Thanks!

Question information

Language:
English Edit question
Status:
Answered
For:
Sakura Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
David Gómez (dabisu) said :
#1

There is a pending bug in sakura (I'll link this question to it) about window resizing that I want to fix ASAP. Although is not directly related to this question, the section of the code that needs fixing is the one that is taking into account vte padding for proper resize. I'll take into account your question when I address that bug.

Can you help with this problem?

Provide an answer of your own, or ask Ethan Ryan L. Valondo for more information if necessary.

To post a message you must log in.