summaryrefslogtreecommitdiff
path: root/src/ide
diff options
context:
space:
mode:
authorLaurenz <laurmaedje@gmail.com>2023-03-17 11:32:15 +0100
committerLaurenz <laurmaedje@gmail.com>2023-03-17 11:45:57 +0100
commit312197b276748e1a17258ad21837850f582a467c (patch)
tree3fd0c078a2673a98b74bc12b4d654a4c143b4e1f /src/ide
parente8435df5ec718e8ecc8a2ad48e4eb3ddd1f92a72 (diff)
Counters
Diffstat (limited to 'src/ide')
-rw-r--r--src/ide/analyze.rs2
-rw-r--r--src/ide/jump.rs7
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));
+ })));
}
}
}