Skip to content

Window Tab improvements#1179

Merged
dzhou121 merged 11 commits intolapce:masterfrom
bugadani:window
Sep 13, 2022
Merged

Window Tab improvements#1179
dzhou121 merged 11 commits intolapce:masterfrom
bugadani:window

Conversation

@bugadani
Copy link
Copy Markdown
Contributor

@bugadani bugadani commented Sep 12, 2022

  • Prevent window tabs "sticking" when released
  • Fix undraggable area right of tabs
  • Turn magic numbers into constants
  • Prevent dragged tab overdrawing others
  • Swap tabs if dragged tab's center gets inside another tab (instead of mouse). This might be a controversial change.

Window tab code is a bit confusing as it's not obvious at all, what handles tab drags, for example. There are a number of small bugs around this area, this PR (when finished) attempts fixing those I found.

@bugadani bugadani changed the title [WIP] Window Tab improvements Window Tab improvements Sep 12, 2022
@bugadani bugadani marked this pull request as ready for review September 12, 2022 22:04
@bugadani
Copy link
Copy Markdown
Contributor Author

bugadani commented Sep 12, 2022

The code could use some more work, but I'll stop here for now, let's not create a bigger PR than necessary. The PR already implements the fixes for the issues I noticed.

Let me know if I should undo the tab swap point change.

@MinusGix MinusGix added the A-ui Area: UI rendering and interactions label Sep 13, 2022
@bugadani bugadani requested a review from dzhou121 September 13, 2022 17:56
@dzhou121 dzhou121 merged commit a6b8187 into lapce:master Sep 13, 2022
@bugadani bugadani deleted the window branch September 13, 2022 18:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-ui Area: UI rendering and interactions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants