mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-24 19:10:24 +00:00
Increase min-width for all Pickers, minor style changes
- Increases the Picker min-width from 500 to 540 - Makes some changes to the styling of keyboard shortcuts in the command palette
This commit is contained in:
parent
484204c2a0
commit
ea11f2e183
5 changed files with 6 additions and 6 deletions
|
@ -731,11 +731,11 @@
|
||||||
"key": {
|
"key": {
|
||||||
"text": {
|
"text": {
|
||||||
"family": "Zed Mono",
|
"family": "Zed Mono",
|
||||||
"color": "#ffffff",
|
"color": "#9c9c9c",
|
||||||
"size": 12
|
"size": 12
|
||||||
},
|
},
|
||||||
"corner_radius": 4,
|
"corner_radius": 4,
|
||||||
"background": "#0e0e0e",
|
"background": "#0e0e0e80",
|
||||||
"border": {
|
"border": {
|
||||||
"color": "#232323",
|
"color": "#232323",
|
||||||
"width": 1
|
"width": 1
|
||||||
|
|
|
@ -731,7 +731,7 @@
|
||||||
"key": {
|
"key": {
|
||||||
"text": {
|
"text": {
|
||||||
"family": "Zed Mono",
|
"family": "Zed Mono",
|
||||||
"color": "#000000",
|
"color": "#474747",
|
||||||
"size": 12
|
"size": 12
|
||||||
},
|
},
|
||||||
"corner_radius": 4,
|
"corner_radius": 4,
|
||||||
|
|
|
@ -138,7 +138,7 @@ impl<D: PickerDelegate> Picker<D> {
|
||||||
list_state: Default::default(),
|
list_state: Default::default(),
|
||||||
update_task: None,
|
update_task: None,
|
||||||
delegate,
|
delegate,
|
||||||
max_size: vec2f(500., 420.),
|
max_size: vec2f(540., 420.),
|
||||||
confirmed: false,
|
confirmed: false,
|
||||||
};
|
};
|
||||||
cx.defer(|this, cx| this.update_matches(cx));
|
cx.defer(|this, cx| this.update_matches(cx));
|
||||||
|
|
|
@ -5,7 +5,7 @@ export default function commandPalette(theme: Theme) {
|
||||||
return {
|
return {
|
||||||
keystrokeSpacing: 8,
|
keystrokeSpacing: 8,
|
||||||
key: {
|
key: {
|
||||||
text: text(theme, "mono", "active", { size: "xs" }),
|
text: text(theme, "mono", "secondary", { size: "xs" }),
|
||||||
cornerRadius: 4,
|
cornerRadius: 4,
|
||||||
background: backgroundColor(theme, "on300"),
|
background: backgroundColor(theme, "on300"),
|
||||||
border: border(theme, "secondary"),
|
border: border(theme, "secondary"),
|
||||||
|
|
|
@ -22,7 +22,7 @@ const backgroundColor = {
|
||||||
focused: colors.neutral[825],
|
focused: colors.neutral[825],
|
||||||
},
|
},
|
||||||
on300: {
|
on300: {
|
||||||
base: colors.neutral[850],
|
base: withOpacity(colors.neutral[850], 0.5),
|
||||||
hovered: colors.neutral[875],
|
hovered: colors.neutral[875],
|
||||||
active: colors.neutral[900],
|
active: colors.neutral[900],
|
||||||
focused: colors.neutral[875],
|
focused: colors.neutral[875],
|
||||||
|
|
Loading…
Reference in a new issue