This PR adds the numeric stepper component to the settings ui and
implements some settings that rely on this component as well.
I also switched {buffer/ui}_font_weight to the `gpui::FontWeight` type
and added a manual implementation of the Schemars trait. This allows Zed
to send min, max, and default information to the JSON LSP when a user is
manually editing the settings file.
The numeric stepper elements added to the settings ui are below:
- ui font size
- ui font weight
- Buffer font size
- Buffer font weight
- Scroll sensitivity
- Fast scroll sensitivity
- Vertical scroll margin
- Horizontal scroll margin
- Inline blame padding
- Inline blame delay
- Inline blame min column
- Unnecessary code fade
- Tab Size
- Hover popover delay
Release Notes:
- N/A
55 lines
1.1 KiB
TOML
55 lines
1.1 KiB
TOML
[package]
|
|
name = "settings_ui"
|
|
version = "0.1.0"
|
|
edition.workspace = true
|
|
publish.workspace = true
|
|
license = "GPL-3.0-or-later"
|
|
|
|
[lints]
|
|
workspace = true
|
|
|
|
[lib]
|
|
path = "src/settings_ui.rs"
|
|
|
|
[features]
|
|
default = []
|
|
test-support = []
|
|
|
|
[dependencies]
|
|
anyhow.workspace = true
|
|
command_palette_hooks.workspace = true
|
|
editor.workspace = true
|
|
feature_flags.workspace = true
|
|
fs.workspace = true
|
|
fuzzy.workspace = true
|
|
gpui.workspace = true
|
|
menu.workspace = true
|
|
paths.workspace = true
|
|
project.workspace = true
|
|
serde.workspace = true
|
|
settings.workspace = true
|
|
strum.workspace = true
|
|
theme.workspace = true
|
|
ui.workspace = true
|
|
ui_input.workspace = true
|
|
util.workspace = true
|
|
workspace-hack.workspace = true
|
|
workspace.workspace = true
|
|
|
|
[dev-dependencies]
|
|
assets.workspace = true
|
|
client.workspace = true
|
|
futures.workspace = true
|
|
gpui = { workspace = true, features = ["test-support"] }
|
|
language.workspace = true
|
|
node_runtime.workspace = true
|
|
paths.workspace = true
|
|
session.workspace = true
|
|
settings.workspace = true
|
|
zlog.workspace = true
|
|
pretty_assertions.workspace = true
|
|
|
|
[[example]]
|
|
name = "ui"
|
|
path = "examples/ui.rs"
|