We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9a378d8 commit e9ce02fCopy full SHA for e9ce02f
objdiff-gui/src/views/diff.rs
@@ -619,8 +619,7 @@ fn symbol_label_ui(
619
.font(appearance.code_font.clone())
620
.color(appearance.highlight_color),
621
)
622
- // TODO .show_tooltip_when_elided(false)
623
- // https://github.com/emilk/egui/commit/071e090e2b2601e5ed4726a63a753188503dfaf2
+ .show_tooltip_when_elided(false)
624
.ui(ui)
625
.on_hover_ui_at_pointer(|ui| symbol_hover_ui(ui, ctx, symbol_idx, appearance))
626
.context_menu(|ui| {
0 commit comments