| .. |
|
avatar.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
button.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
checkbox.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
context_menu.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
details.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
divider.rs
|
Add ui::Divider component
|
2023-11-10 16:12:32 -05:00 |
|
elevated_surface.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
facepile.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
icon.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
icon_button.rs
|
Checkpoint
|
2023-11-14 01:15:48 -07:00 |
|
indicator.rs
|
Use gpui instead of gpui2 consistenytly
|
2023-11-06 11:50:33 -07:00 |
|
input.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
keybinding.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
label.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
list.rs
|
Remove unnecessary map
|
2023-11-13 11:10:08 -05:00 |
|
modal.rs
|
Checkpoint
|
2023-11-14 01:15:48 -07:00 |
|
notification_toast.rs
|
Use gpui instead of gpui2 consistenytly
|
2023-11-06 11:50:33 -07:00 |
|
palette.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
panel.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
player.rs
|
Use gpui instead of gpui2 consistenytly
|
2023-11-06 11:50:33 -07:00 |
|
player_stack.rs
|
Rework theme2 with new theme structure (#3194)
|
2023-10-31 22:23:00 -04:00 |
|
slot.rs
|
Use gpui instead of gpui2 consistenytly
|
2023-11-06 11:50:33 -07:00 |
|
stack.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
tab.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
toast.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
|
toggle.rs
|
Checkpoint
|
2023-11-14 01:15:48 -07:00 |
|
tool_divider.rs
|
ui2: Reorganize components (#3228)
|
2023-11-03 17:34:11 -04:00 |
|
tooltip.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
