google / google/bindiff

UI: After adding a "New Diff", the diff should be automatically opened

Open
#6 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Java
Stars
3.2k
Forks
240
PR merge metrics
No merged PRs in 30d

Description

Steps to reproduce the problem:

Open BinDiff, use Diffs|New Diff to create a new diff
What is the expected behavior?

1. The newly added diff should automatically be opened/loaded by the UI.

What went wrong?

One has to double click the new diff in the tree view for it to be loaded.

What version of the product are you using? On what operating system?

BinDiff 7, any OS

Any other comments?

N/A

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.