chore: Wrap WorkspaceId in newtype (#9492)

Release Notes:

- N/A
This commit is contained in:
Piotr Osiewicz 2024-03-18 12:39:03 +01:00 committed by GitHub
parent 07dbee8651
commit f60774bbdd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 67 additions and 24 deletions

View file

@ -182,7 +182,7 @@ impl ScrollManager {
map: &DisplaySnapshot,
local: bool,
autoscroll: bool,
workspace_id: Option<i64>,
workspace_id: Option<WorkspaceId>,
cx: &mut ViewContext<Editor>,
) {
let (new_anchor, top_row) = if scroll_position.y <= 0. {
@ -221,7 +221,7 @@ impl ScrollManager {
top_row: u32,
local: bool,
autoscroll: bool,
workspace_id: Option<i64>,
workspace_id: Option<WorkspaceId>,
cx: &mut ViewContext<Editor>,
) {
self.anchor = anchor;