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

perf: batch tmux show #288

Merged
merged 8 commits into from
Aug 12, 2024
Merged

perf: batch tmux show #288

merged 8 commits into from
Aug 12, 2024

Conversation

vdbe
Copy link
Collaborator

@vdbe vdbe commented Aug 12, 2024

Try 2

@vdbe vdbe merged commit 99013fa into catppuccin:main Aug 12, 2024
3 checks passed
@github-actions github-actions bot mentioned this pull request Aug 12, 2024
Merged
vdbe added a commit to vdbe/catppuccin-tmux that referenced this pull request Aug 14, 2024
@vdbe
fixup! perf: batch tmux show (catppuccin#288)
bd72d58 
fix: add missing batch options catppuccin_pane{,_active}_border_style
@Bjorn-Eric-Abr
Copy link

Bjorn-Eric-Abr commented Aug 22, 2024 •
edited
Loading

Hello! Thanks for a great plugin. I forked the main branch of the repo to make some customisations (as you do) and found something odd.
After making my changes I wanted to customise Gitmux and it only showed the Git icon and nothing else. Reforking the whole repo (not just main as per Github defaults) and using #latest on my forked repo and the customisations work, as they do with the #latest (tag 0.1.0) in this repo.

TLDR; I think this commit makes the Gitmux customisations not work. Just wanted to give a heads up, if this is known plz ignore :)

@vdbe
Copy link
Collaborator Author

vdbe commented Aug 22, 2024

@Bjorn-Eric-Abr Can you create an issue with the config used, default options from gitmux seem to work on the main branch (don't use it myself so don't know if anything is missing)?
image

@Bjorn-Eric-Abr
Copy link

Thanks for the fast reply!
Same for me, default works but customisation does not. I'll create an issue.

This was referenced Aug 22, 2024
Closed
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vdbe @Bjorn-Eric-Abr