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.

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

Animations: pin/unpin & fix close/open #455

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Conversation

romgrk
Copy link
Owner

@romgrk romgrk commented Apr 10, 2023

  • Pin/unpin animation
  • Fix close/open animation (not working again in certain cases)

@romgrk romgrk mentioned this pull request Apr 10, 2023
@Iron-E Iron-E added the request New feature or request label Apr 10, 2023
@Iron-E Iron-E added this to the 1.6 milestone Apr 10, 2023
@romgrk
Copy link
Owner Author

romgrk commented Apr 11, 2023

@Iron-E The pin/unpin animation is complete & ready for review. I'm not sure if I'll fix the close/open in this PR, if you wanna review this we could merge it as is.

@@ -533,7 +678,7 @@ local HL = {
--- @return nil|string syntax
local function generate_tabline(bufnrs, refocus)
local layout = Layout.calculate()
Copy link
Owner Author

Choose a reason for hiding this comment

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

Future perf optimization: we don't need to recalculate the layout on every update.

Comment on lines 758 to 759
local filler = { { hl = HL.FILL, text = (' '):rep(layout.buffers.width) } }
content = Nodes.insert_many(filler, 0, content)
Copy link
Owner Author

Choose a reason for hiding this comment

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

Perf: I think this can be removed now.

@romgrk
Copy link
Owner Author

romgrk commented Apr 11, 2023

Seeing some bugs, I'll do more work on this.

@Iron-E Iron-E modified the milestones: 1.6, 1.7 Apr 29, 2023
@Iron-E Iron-E modified the milestones: 1.7, 1.8 Aug 26, 2023
@Iron-E Iron-E modified the milestones: 1.8, 1.9 Jun 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
request New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants