From 312197b276748e1a17258ad21837850f582a467c Mon Sep 17 00:00:00 2001 From: Laurenz Date: Fri, 17 Mar 2023 11:32:15 +0100 Subject: Counters --- src/ide/analyze.rs | 2 +- src/ide/jump.rs | 7 ++----- 2 files changed, 3 insertions(+), 6 deletions(-) (limited to 'src/ide') 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)); + }))); } } } -- cgit v1.2.3