8 Commits

Include renames

Author	SHA1	Message	Date
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
Max Brunsfeld	69eb49a2ed	Merge branch 'main' into picker	2023-11-07 09:34:57 -08:00
3 people	85000eba81	wip: picker ... co-authored-by: nathan <nathan@zed.dev> co-authored-by: max <max@zed.dev>	2023-11-06 17:09:38 -08:00
Mikayla	3c93b585ab	Checkpoint	2023-11-06 15:11:22 -08:00
Antonio Scandurra	e460f6a27c	WIP	2023-11-06 18:59:46 +01:00
Nathan Sobo	f3b8a9d8c2	WIP	2023-11-02 22:56:04 -06:00
Nathan Sobo	a731f8fb1e	WIP	2023-11-02 21:28:56 -06:00
Antonio Scandurra	e4fe9538d7	Checkpoint	2023-10-21 16:01:47 +02:00