Add Padding to the backgroundImage suite of configuration settings #12559

Closed
opened 2026-01-31 03:18:45 +00:00 by claunia · 2 comments
Owner

Originally created by @JimF42 on GitHub (Feb 13, 2021).

Description of the new feature/enhancement

I use the backgroundImage and backgroundImage... set of configuration settings, but I would also like to see a setting like backgroundImagePadding... (or Margin, or some such).

Yes, this is purely an aesthetic request as the point of the Padding would be to keep the icon off the edges the the screen

Proposed technical implementation details (optional)

I don't have a single implementation in mind, but I can see it going two different ways. A set of four new fields like:

"backgroundImagePaddingLeft" : nnn,
"backgroundImagePaddingTop" : nnn,
"backgroundImagePaddingRight" : nnn,
"backgroundImagePaddingBottom" : nnn

Or, it could be implemented like this

"backgroundImagePadding" : {
    "Left": nnn,
    "Top": nnn,
    "Right": nnn,
    "Bottom": nnn
}

Of course, "backgroundImageAlignment" would take precedent, then the padding would be applied. If all the padding values were to be supplied (Left, Top, Right, Bottom), then at most only 2 values would be used. For example, if the alignment was bottomRight, then the Left and Top values would be ignored.

Honestly, I don't know how padding will be applied if the alignment is Center.

Finally, I also don't know what a good unit would be for the padding values. Perhaps a generic unit like WPF uses by default.

Originally created by @JimF42 on GitHub (Feb 13, 2021). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> # Description of the new feature/enhancement I use the `backgroundImage` and `backgroundImage..`. set of configuration settings, but I would also like to see a setting like `backgroundImagePadding...` (or Margin, or some such). Yes, this is purely an aesthetic request as the point of the Padding would be to keep the icon off the edges the the screen <!-- A clear and concise description of what the problem is that the new feature would solve. Describe why and how a user would use this new functionality (if applicable). --> # Proposed technical implementation details (optional) I don't have a single implementation in mind, but I can see it going two different ways. A set of four new fields like: ``` "backgroundImagePaddingLeft" : nnn, "backgroundImagePaddingTop" : nnn, "backgroundImagePaddingRight" : nnn, "backgroundImagePaddingBottom" : nnn ``` Or, it could be implemented like this ``` "backgroundImagePadding" : { "Left": nnn, "Top": nnn, "Right": nnn, "Bottom": nnn } ``` Of course, "backgroundImageAlignment" would take precedent, then the padding would be applied. If all the padding values were to be supplied (Left, Top, Right, Bottom), then at most only 2 values would be used. For example, if the alignment was bottomRight, then the Left and Top values would be ignored. Honestly, I don't know how padding will be applied if the alignment is Center. Finally, I also don't know what a good unit would be for the padding values. Perhaps a generic unit like WPF uses by default. <!-- A clear and concise description of what you want to happen. -->
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 03:18:45 +00:00
Author
Owner

@DHowett commented on GitHub (Feb 13, 2021):

Thanks for the request. This looks like a /duplicate of #1726 + #2370 (combined)

@DHowett commented on GitHub (Feb 13, 2021): Thanks for the request. This looks like a /duplicate of #1726 + #2370 (combined)
Author
Owner

@ghost commented on GitHub (Feb 13, 2021):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (Feb 13, 2021): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#12559