diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-06-06 21:13:59 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-06-06 22:06:16 +0200 |
| commit | fd417da04f7ca4b995de7f6510abafd3e9c31307 (patch) | |
| tree | 3675529c75ca7363701ac8ea306de2cc1d3cbcb3 /src/ide/mod.rs | |
| parent | 168bdf35bd773e67343c965cb473492cc5cae9e7 (diff) | |
Improve value casting infrastructure
Diffstat (limited to 'src/ide/mod.rs')
| -rw-r--r-- | src/ide/mod.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ide/mod.rs b/src/ide/mod.rs index 38bede0b..4b08b66b 100644 --- a/src/ide/mod.rs +++ b/src/ide/mod.rs @@ -7,10 +7,10 @@ mod jump; mod tooltip; pub use self::analyze::analyze_labels; -pub use self::complete::*; -pub use self::highlight::*; -pub use self::jump::*; -pub use self::tooltip::*; +pub use self::complete::{autocomplete, Completion, CompletionKind}; +pub use self::highlight::{highlight, highlight_html, Tag}; +pub use self::jump::{jump_from_click, jump_from_cursor, Jump}; +pub use self::tooltip::{tooltip, Tooltip}; use std::fmt::Write; |
