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.

Sign up for GitHub

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

Jump to bottom

Add config option profiles.*.margins to allow customizing the horizontal / vertical margins #1385

Merged
merged 1 commit into from
Dec 25, 2023
Merged

Add config option profiles.*.margins to allow customizing the horizontal / vertical margins #1385

merged 1 commit into from
Dec 25, 2023

Conversation

christianparpart
Copy link
Member

@christianparpart christianparpart commented Dec 25, 2023 •
edited
Loading

Closes #1384.

Checklist

  • configurable
  • update on live config change
  • top-left margins working
  • bottom/right margins working
  • mouse position translation working
  • add documentation to website
  • resize event ensuring minimum margins are retained

@github-actions github-actions bot added the frontend Contour Terminal Emulator (GUI frontend) label Dec 25, 2023
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Dec 25, 2023
@christianparpart christianparpart marked this pull request as ready for review December 25, 2023 20:18
@christianparpart christianparpart changed the title Add config option profiles.*.margin to allow customizing the horizontal / vertical margins Add config option profiles.*.margins to allow customizing the horizontal / vertical margins Dec 25, 2023
@christianparpart christianparpart force-pushed the feature/window-margins branch 2 times, most recently from 3393ab2 to 9a44caf Compare December 25, 2023 20:35
@christianparpart
[contour] Implement config option profiles.*.margin
6407d75 
... to allow customizing the horizontal / vertical margins
@christianparpart christianparpart merged commit 743e787 into master Dec 25, 2023
55 checks passed
@christianparpart christianparpart deleted the feature/window-margins branch December 25, 2023 21:50
@Yaraslaut Yaraslaut mentioned this pull request Dec 27, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation frontend Contour Terminal Emulator (GUI frontend)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Support for a margin around the terminal area
1 participant
@christianparpart