6f7f0f30e2
Closes https://github.com/zed-industries/zed/issues/23894
Reworks all trigger declarations from
`.trigger(element.tooltip(tooltip))` into
`.trigger_with_tooltip(element, tooltip)` , with new API disallowing
simultaneous trigger and tooltip display.
All existing `.trigger(` calls were replaced, except 2 not applicable
(in dock.rs and pane.rs), 15 left as ones without tooltips, and 2
unchanged places in `inline_completion_button.rs`, where
|
||
|---|---|---|
| .. | ||
| components | ||
| kernels | ||
| notebook | ||
| outputs | ||
| components.rs | ||
| jupyter_settings.rs | ||
| notebook.rs | ||
| outputs.rs | ||
| repl.rs | ||
| repl_editor.rs | ||
| repl_sessions_ui.rs | ||
| repl_store.rs | ||
| session.rs | ||