Skip to content

Conversation

@0SlowPoke0
Copy link
Collaborator

@0SlowPoke0 0SlowPoke0 commented Dec 24, 2024

This PR fixes:

Extending box selection in select tool was broken only the newly selected layers were selected . Now the original and newly selected are selected in both modes. #discord

@0SlowPoke0 0SlowPoke0 marked this pull request as ready for review December 24, 2024 09:02
@Keavon
Copy link
Member

Keavon commented Dec 24, 2024

!build

@github-actions
Copy link

📦 Build Complete for 17e6f04
https://58fd1406.graphite.pages.dev

@Keavon Keavon requested a review from Copilot December 24, 2024 11:09
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

Comments suppressed due to low confidence (1)

editor/src/messages/tool/tool_messages/select_tool.rs:1009

  • [nitpick] The variable name parent_selected is ambiguous. It should be renamed to selected_with_parents.
let parent_selected: HashSet<_> = new_selected

@Keavon Keavon changed the title Fixing Select-tool box selection Fix Select tool's box selection not being able to extend a selection with shift Dec 25, 2024
@Keavon Keavon merged commit a6676e4 into GraphiteEditor:master Dec 25, 2024
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants