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 a015971 commit 9a378d8Copy full SHA for 9a378d8
objdiff-gui/src/views/diff.rs
@@ -619,7 +619,6 @@ 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
625
.ui(ui)
0 commit comments