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

Merge with upstream #9

Merged
merged 27 commits into from
Jul 24, 2023
Merged

Conversation

huy-nguyen
Copy link
Member

@huy-nguyen huy-nguyen commented Jul 24, 2023

Merge upstream's commit google@c6e6da5 into this fork so that we can change c' to c^ without errors. Specifically, this is the patch we need: google@400cd01

jbms and others added 27 commits April 25, 2023 12:00
* disabling graph tools in segmentation tab if the graph source supplies its own tab

* updated graphene merge tool to be able to queue up multiple merges, bulk submit, and visualize the pending merges as line segments

* fixed adding graphene merge via 3d by disabling the pick buffer when the graphene merge line tool has an inProgressAnnotation
…ent starred

Also ensures that adding a segment to visibleSegments automatically
adds it to selectedSegments.
…tially hidden

Previously, if the viewport was initially hidden when the list was rendered, the size estimates
would all be zero, and these estimates would not corrected be when the viewport became visible,
leading to incorrect positioning.
…ent list

Previously, the array update operations assumed the starred segment list was
sorted by segment id, which led to incorrect scroll position handling.
Also add indeterminate states for star and eye icon, and additional
visibility/star toggle mouse bindings.
…click0)

This complements the "select" command.
…google#463)

* removed status messages that are already covered by that merge tool ui
also fixed bug where an error object was being attached to a merge object instead of just the error message

* minor formatting fixes

* added shortcut for multicut submit and increased height of multicut buttons

* added clear button for graphene merge tool
@huy-nguyen huy-nguyen merged commit cb94456 into tracking-upstream Jul 24, 2023
@huy-nguyen huy-nguyen deleted the merge-from-upstream-master branch July 24, 2023 15:05
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.

4 participants