mirror of https://github.com/encounter/objdiff.git
Do not clear highlighted symbol when hovering mouse over an unpaired symbol
This commit is contained in:
parent
5bffaa8b5b
commit
dfa145e16c
|
@ -561,20 +561,16 @@ fn symbol_ui(
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
} else if response.hovered() {
|
} else if response.hovered() {
|
||||||
ret = Some(if let Some(target_symbol) = symbol_diff.target_symbol {
|
ret = Some(if column == 0 {
|
||||||
if column == 0 {
|
|
||||||
DiffViewAction::SetSymbolHighlight(
|
DiffViewAction::SetSymbolHighlight(
|
||||||
Some(symbol_diff.symbol_ref),
|
Some(symbol_diff.symbol_ref),
|
||||||
Some(target_symbol),
|
symbol_diff.target_symbol,
|
||||||
)
|
)
|
||||||
} else {
|
} else {
|
||||||
DiffViewAction::SetSymbolHighlight(
|
DiffViewAction::SetSymbolHighlight(
|
||||||
Some(target_symbol),
|
symbol_diff.target_symbol,
|
||||||
Some(symbol_diff.symbol_ref),
|
Some(symbol_diff.symbol_ref),
|
||||||
)
|
)
|
||||||
}
|
|
||||||
} else {
|
|
||||||
DiffViewAction::SetSymbolHighlight(None, None)
|
|
||||||
});
|
});
|
||||||
}
|
}
|
||||||
ret
|
ret
|
||||||
|
|
Loading…
Reference in New Issue