![]() This also adds a convenient `Scrollbar:auto_hide` function so that we don't have to handle that at the callsite. Release Notes: - N/A --------- Co-authored-by: David Kleingeld <davidsk@zed.dev> |
||
---|---|---|
.. | ||
components | ||
styles | ||
traits | ||
utils | ||
component_prelude.rs | ||
components.rs | ||
prelude.rs | ||
styles.rs | ||
traits.rs | ||
ui.rs | ||
utils.rs |