zed/crates/gpui2
Nathan Sobo 9558da8681 Separate WrappedLines from ShapedLines
ShapedLines are never wrapped, whereas WrappedLines are optionally wrapped if
they are associated with a wrap width. I tried to combine everything because
wrapping is inherently optional for the Text element, but we have a bunch of
APIs that don't make sense on a line that may wrap, so we need a distinct type
for that case.
2023-11-16 23:10:51 -07:00
..
docs Document contexts 2023-11-14 19:52:51 -07:00
src Separate WrappedLines from ShapedLines 2023-11-16 23:10:51 -07:00
build.rs Tooltips in mouse event handler & fix executor timer 2023-11-03 18:02:58 -04:00
Cargo.toml Remove dependency from gpui from editor2 2023-11-03 09:05:58 +01:00