editor: Represent scroll offset with more precision - #39367

Merged

osiewicz merged 19 commits into

mainfrom

pixels-pixels-everywhere

Oct 2, 2025

Commits on Oct 1, 2025

gpui: Make Pixels.0 private
osiewicz
committed
b624242
gpui: Don't depend on fixed, actually
osiewicz
committed
725bf3e
Scaled pixels are private, too
osiewicz
committed
4506ea6

Commits on Oct 2, 2025

WIP teardown

osiewicz
and
smitbarmase
committed
3c03306
conversion in element.rs
smitbarmase
committed
99c5acf
editor is no more

osiewicz
and
smitbarmase
committed
bdaa8f0
IT WORKS (kinda)

osiewicz
and
smitbarmase
committed
24ee71f
ci: gpui
osiewicz
committed
5c41078
Fix indent guides getting misaligned because $FLOATS

osiewicz
and
smitbarmase
committed
a68d8f1
ci: gpui again

osiewicz
and
smitbarmase
committed
69c90ea
Fix editor context

osiewicz
and
smitbarmase
committed
e8c4c1d
markdown example

osiewicz
and
smitbarmase
committed
44515b8
Fix minimap scrolling :facepalm:

osiewicz
and
smitbarmase
committed
2b981e5
clippy

osiewicz
and
smitbarmase
committed
97a2b70
Update db methods for scroll offset persistence

osiewicz
and
smitbarmase
committed
0d60657
CI

osiewicz
and
smitbarmase
committed
f292c9d
clippy
osiewicz
committed
c76a655
clippy
osiewicz
committed
5ebf60f
gpui: Fix examples
osiewicz
committed
1765741