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.
2 parents c8ff45f + e9ce02f commit 4c3f5e9Copy full SHA for 4c3f5e9
objdiff-gui/src/views/diff.rs
@@ -619,9 +619,7 @@ fn symbol_label_ui(
619
.font(appearance.code_font.clone())
620
.color(appearance.highlight_color),
621
)
622
- .selectable(false)
623
- // TODO .show_tooltip_when_elided(false)
624
- // https://github.com/emilk/egui/commit/071e090e2b2601e5ed4726a63a753188503dfaf2
+ .show_tooltip_when_elided(false)
625
.ui(ui)
626
.on_hover_ui_at_pointer(|ui| symbol_hover_ui(ui, ctx, symbol_idx, appearance))
627
.context_menu(|ui| {
0 commit comments