3 people 030b20ace9 Fix scroll jitter by ignoring autoscroll events if following ...

When following someone else we saw jitter because
`ScrollPositionChanged` events were battling `SelectionsChanged` events,
both of which were scrolling the viewport.

This ignores the ScrollPositionChanged if autoscrolling is on.

Co-authored-by: Antonio <antonio@zed.dev>
Co-authored-by: Julia <julia@zed.dev>

2024-01-23 16:16:21 +01:00

..

display_map

Port the rest of the app

2024-01-21 20:26:33 -08:00

scroll

Editor docs (#4097)

2024-01-18 00:48:37 +01:00

test

gpui: Further docs refinement & moved some reexports into 'private' module (#3935)

2024-01-07 14:14:21 +01:00

actions.rs

Rename show cursors to display cursor names

2024-01-19 11:37:57 -05:00

blink_manager.rs

Remove 2 suffix for editor

2024-01-03 10:58:57 -08:00

display_map.rs

Start documenting display_map module

2024-01-18 16:38:06 +01:00

editor_settings.rs

Display setting documentation in settings.json (#3936)

2024-01-08 19:30:18 +01:00

editor_tests.rs

Fix the tests

2024-01-16 10:58:27 +02:00

editor.rs

Avoid overwriting mouse wheel scroll with selection auto-scroll

2024-01-22 18:12:25 -05:00

element.rs

Avoid overwriting mouse wheel scroll with selection auto-scroll (#4207)

2024-01-22 19:07:03 -05:00

git.rs

Track read_only per project and buffer

2024-01-03 19:31:43 -07:00

highlight_matching_bracket.rs

Remove 2 suffix for editor

2024-01-03 10:58:57 -08:00

hover_popover.rs

One off

2024-01-22 15:53:12 -07:00

inlay_hint_cache.rs

Add typo detection to CI (#4107)

2024-01-17 17:13:47 -08:00

items.rs

Fix scroll jitter by ignoring autoscroll events if following

2024-01-23 16:16:21 +01:00

link_go_to_definition.rs

Editor docs (#4097)

2024-01-18 00:48:37 +01:00

mouse_context_menu.rs

Remove 2 suffix for editor

2024-01-03 10:58:57 -08:00

movement.rs

Editor docs (#4097)

2024-01-18 00:48:37 +01:00

persistence.rs

wip

2023-01-25 11:32:19 -08:00

rust_analyzer_ext.rs

Remove 2 suffix for editor

2024-01-03 10:58:57 -08:00

scroll.rs

Fix horizontal scroll going too far to the left

2024-01-23 12:28:50 +01:00

selections_collection.rs

Editor docs (#4097)

2024-01-18 00:48:37 +01:00

test.rs

Remove some todo!'s

2024-01-09 11:36:36 +02:00