Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #1715 from zed-industries/scrollbars

Browse source 
Add scrollbars
This commit is contained in:
Max Brunsfeld 2022-10-11 13:34:15 -07:00 • committed by GitHub
commit 638e9f9477
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 228 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/gpui/src/platform.rs
View file

@ -65,6 +65,7 @@ pub trait Platform: Send + Sync {
fn delete_credentials(&self, url: &str) -> Result<()>;
fn set_cursor_style(&self, style: CursorStyle);
fn should_auto_hide_scrollbars(&self) -> bool;
fn local_timezone(&self) -> UtcOffset;