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

The explorer can still be expanded even if the synchronization is deactivated #1851

Closed
sbegaudeau opened this issue Mar 9, 2023 · 0 comments · Fixed by #1873
Closed

The explorer can still be expanded even if the synchronization is deactivated #1851

sbegaudeau opened this issue Mar 9, 2023 · 0 comments · Fixed by #1873
Assignees
@sbegaudeau
Labels
difficulty: medium good first issue package: trees type: bug
Milestone
2023.4.0

Comments

@sbegaudeau
Copy link
Member

Selecting an element in the diagram can still expand the explorer and reveal it
@sbegaudeau sbegaudeau self-assigned this Mar 15, 2023
@sbegaudeau sbegaudeau added this to the 2023.4.0 milestone Mar 15, 2023
sbegaudeau added a commit that referenced this issue Mar 15, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
824bce8 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
@sbegaudeau sbegaudeau mentioned this issue Mar 15, 2023
Merged
39 tasks
sbegaudeau added a commit that referenced this issue Mar 16, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
3af2f18 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
sbegaudeau added a commit that referenced this issue Mar 16, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
0d3d344 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
sbegaudeau added a commit that referenced this issue Mar 16, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
bfde3a7 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
@sbegaudeau sbegaudeau linked a pull request Mar 16, 2023 that will close this issue
[1851] Fix an issue where the explorer could be expanded while not synchronized #1873
Merged
39 tasks
sbegaudeau added a commit that referenced this issue Mar 21, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
223499f 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
sbegaudeau added a commit that referenced this issue Mar 21, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
ad78c23 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
sbegaudeau added a commit that referenced this issue Mar 21, 2023
@sbegaudeau
[1851] Fix an issue where the explorer could be expanded while not sy…
a99ff17 
…nchronized

Bug: #1851
Signed-off-by: Stéphane Bégaudeau <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sbegaudeau sbegaudeau

Labels
difficulty: medium good first issue package: trees type: bug
Projects
None yet
Milestone
2023.4.0
1 participant
@sbegaudeau