krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
zed
/
crates
/
ui_input
/
src
AE
Anthony Eid
settings ui: Move settings data out of settings window (#39638)
075104a
1 year ago
History
Name
Last commit message
Last commit date
..
font_picker.rs
settings ui: Use font picker element from onboarding instead of editor for font components (#39593)
1 year ago
numeric_stepper.rs
settings ui: Move settings data out of settings window (#39638)
1 year ago
ui_input.rs
settings ui: Use font picker element from onboarding instead of editor for font components (#39593)
1 year ago