(
ui: &mut Ui,
ctx: SymbolDiffContext<'_>,
symbol_idx: usize,
appearance: &Appearance,
)
| 532 | } |
| 533 | |
| 534 | pub fn symbol_hover_ui( |
| 535 | ui: &mut Ui, |
| 536 | ctx: SymbolDiffContext<'_>, |
| 537 | symbol_idx: usize, |
| 538 | appearance: &Appearance, |
| 539 | ) { |
| 540 | ui.scope(|ui| { |
| 541 | ui.style_mut().override_text_style = Some(egui::TextStyle::Monospace); |
| 542 | ui.style_mut().wrap_mode = Some(egui::TextWrapMode::Wrap); |
| 543 | hover_items_ui(ui, symbol_hover(ctx.obj, symbol_idx, 0, None), appearance); |
| 544 | }); |
| 545 | } |
| 546 | |
| 547 | #[must_use] |
| 548 | fn symbol_ui( |
no test coverage detected