|
components
|
Merge branch 'gpui2-ui' into gpui2
|
2023-10-16 16:54:40 -04:00 |
|
elements
|
Add rudimentary UI for BufferSearch
|
2023-10-13 17:36:27 -04:00 |
|
components.rs
|
Add placeholder BufferSearch
|
2023-10-13 17:20:44 -04:00 |
|
element_ext.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
elements.rs
|
Add Details component
|
2023-10-09 11:55:27 -04:00 |
|
lib.rs
|
Remove hacky children
|
2023-10-12 15:50:09 -04:00 |
|
prelude.rs
|
Checkpoint
|
2023-10-13 14:50:37 -04:00 |
|
static_data.rs
|
Add state to BufferSearch
|
2023-10-13 17:44:21 -04:00 |
|
story.rs
|
Reconcile with upstream changes
|
2023-10-12 10:40:47 -04:00 |
|
theme.rs
|
WIP
|
2023-10-12 19:40:13 +02:00 |
