Skip to content

fix: minor fixes for gui.default_key_tables and Pane#87

Merged
DrKJeff16 merged 4 commits into
DrKJeff16:mainfrom
chrisgrieser:patch-1
Dec 8, 2025
Merged

fix: minor fixes for gui.default_key_tables and Pane#87
DrKJeff16 merged 4 commits into
DrKJeff16:mainfrom
chrisgrieser:patch-1

Conversation

@chrisgrieser
Copy link
Copy Markdown
Contributor

@chrisgrieser chrisgrieser commented Dec 8, 2025

Changes

@chrisgrieser chrisgrieser changed the title fix: add search_mode to default_key_tables fix: minor fixes for default_key_tables and pane obj Dec 8, 2025
@DrKJeff16 DrKJeff16 self-assigned this Dec 8, 2025
Comment thread lua/wezterm/types/wezterm/gui.lua
Copy link
Copy Markdown
Owner

@DrKJeff16 DrKJeff16 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could you sign your commits?

git rebase -i HEAD~2 --signoff
git push --force-with-lease

@DrKJeff16 DrKJeff16 changed the title fix: minor fixes for default_key_tables and pane obj fix: minor fixes for gui.default_key_tables and Pane Dec 8, 2025
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request good first issue Good for newcomers wrong-types Wrong type has been found needs-review A PR labeled with this is in need of review labels Dec 8, 2025
@DrKJeff16 DrKJeff16 self-requested a review December 8, 2025 21:55
Copy link
Copy Markdown
Owner

@DrKJeff16 DrKJeff16 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Never mind, don't worry. I'll sign them (I goofed up while trying to update your fork). Thanks for your contribution!

@DrKJeff16 DrKJeff16 merged commit f8cd69a into DrKJeff16:main Dec 8, 2025
DrKJeff16 added a commit that referenced this pull request Dec 8, 2025
Co-authored-by: Guennadi Maximov C <[email protected]>
Signed-off-by: Guennadi Maximov C <[email protected]>
@chrisgrieser
Copy link
Copy Markdown
Contributor Author

Was just about to read up on what signing commits is all about! Thanks

@DrKJeff16 DrKJeff16 added merged This PR has been merged successfully! and removed good first issue Good for newcomers needs-review A PR labeled with this is in need of review labels Feb 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! wrong-types Wrong type has been found

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants