diff options
Diffstat (limited to 'crates/typst-ide/src/jump.rs')
| -rw-r--r-- | crates/typst-ide/src/jump.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/crates/typst-ide/src/jump.rs b/crates/typst-ide/src/jump.rs index d7f2e1d2..b798defa 100644 --- a/crates/typst-ide/src/jump.rs +++ b/crates/typst-ide/src/jump.rs @@ -1,8 +1,7 @@ use std::num::NonZeroUsize; -use ecow::EcoString; use typst::layout::{Frame, FrameItem, Point, Position, Size}; -use typst::model::{Destination, Document}; +use typst::model::{Destination, Document, Url}; use typst::syntax::{FileId, LinkedNode, Side, Source, Span, SyntaxKind}; use typst::visualize::Geometry; use typst::World; @@ -13,7 +12,7 @@ pub enum Jump { /// Jump to a position in a source file. Source(FileId, usize), /// Jump to an external URL. - Url(EcoString), + Url(Url), /// Jump to a point on a page. Position(Position), } |
