zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-18 18:08:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update picker footer button style

Browse Source 
Co-Authored-By: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>
This commit is contained in:
Nate Butler 2023-07-12 12:40:37 -04:00
parent 2ac485a6ec
commit 001e848393
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/vcs_menu/src/lib.rs
View File

@ -1,8 +1,10 @@
use anyhow::{anyhow, bail, Result};
use fuzzy::{StringMatch, StringMatchCandidate};
use gpui::{
actions, elements::*, platform::MouseButton, AppContext, MouseState, Task, ViewContext,
ViewHandle,
actions,
elements::*,
platform::{CursorStyle, MouseButton},
AppContext, MouseState, Task, ViewContext, ViewHandle,
};
use picker::{Picker, PickerDelegate, PickerEvent};
use std::{ops::Not, sync::Arc};
@ -290,6 +292,7 @@ impl PickerDelegate for BranchListDelegate {
.contained()
.with_style(style.container)
})
.with_cursor_style(CursorStyle::PointingHand)
.on_down(MouseButton::Left, |_, _, cx| {
cx.spawn(|picker, mut cx| async move {
picker.update(&mut cx, |this, cx| {

2
styles/src/style_tree/picker.ts
View File

@ -121,7 +121,7 @@ export default function picker(): any {
},
footer: interactive({
base: {
text: text(theme.lowest, "sans", "variant", { size: "xs" }),
text: text(theme.lowest, "sans", "base", { size: "xs" }),
padding: {
bottom: 4,
left: 12,