diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-03-17 11:32:15 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-03-17 11:45:57 +0100 |
| commit | 312197b276748e1a17258ad21837850f582a467c (patch) | |
| tree | 3fd0c078a2673a98b74bc12b4d654a4c143b4e1f /src/ide | |
| parent | e8435df5ec718e8ecc8a2ad48e4eb3ddd1f92a72 (diff) | |
Counters
Diffstat (limited to 'src/ide')
| -rw-r--r-- | src/ide/analyze.rs | 2 | ||||
| -rw-r--r-- | src/ide/jump.rs | 7 |
2 files changed, 3 insertions, 6 deletions
diff --git a/src/ide/analyze.rs b/src/ide/analyze.rs index ed868e53..ccb89a9c 100644 --- a/src/ide/analyze.rs +++ b/src/ide/analyze.rs @@ -78,7 +78,7 @@ pub fn analyze_labels( let items = &world.library().items; // Labels in the document. - for node in introspector.nodes() { + for node in introspector.all() { let Some(label) = node.label() else { continue }; let details = node .field("caption") diff --git a/src/ide/jump.rs b/src/ide/jump.rs index 0aa97b56..17e318a7 100644 --- a/src/ide/jump.rs +++ b/src/ide/jump.rs @@ -36,12 +36,9 @@ pub fn jump_from_click( for (pos, element) in frame.elements() { if let Element::Meta(Meta::Link(link), size) = element { if is_in_rect(*pos, *size, click) { - let dest = link.resolve(|| { + return Some(Jump::Dest(link.resolve(|| { introspector.get_or_insert_with(|| Introspector::new(frames)) - }); - - let Some(dest) = dest else { continue }; - return Some(Jump::Dest(dest)); + }))); } } } |
