f658af5903
This PR makes the `border` methods require an explicit width instead of
defaulting to 1px.
This breaks convention with Tailwind, but it makes GPUI more consistent
with itself. We already have an edge case where the parameterized method
had to be named `border_width`, since `border` was taken up by an alias
for the 1px variant.
### Before
```rs
div()
.border()
.border_t()
.border_r()
.border_b()
.border_l()
.border_width(px(7.))
```
### After
```rs
div()
.border_1()
.border_t_1()
.border_r_1()
.border_b_1()
.border_l_1()
.border(px(7.))
```
Release Notes:
- N/A
|
||
|---|---|---|
| .. | ||
| chat_panel | ||
| collab_panel | ||
| notifications | ||
| channel_view.rs | ||
| chat_panel.rs | ||
| collab_panel.rs | ||
| collab_titlebar_item.rs | ||
| collab_ui.rs | ||
| face_pile.rs | ||
| notification_panel.rs | ||
| notifications.rs | ||
| panel_settings.rs | ||