assistant_panel.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
breadcrumb.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
buffer.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
chat_panel.rs
|
Merge branch 'main' into element-types
|
2023-11-14 12:10:26 -07:00 |
collab_panel.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
command_palette.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
editor_pane.rs
|
Merge branch 'main' into element-types
|
2023-11-14 12:10:26 -07:00 |
language_selector.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
multi_buffer.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
panes.rs
|
Checkpoint
|
2023-11-14 01:15:48 -07:00 |
project_panel.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
recent_projects.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
status_bar.rs
|
Merge branch 'main' into element-types
|
2023-11-14 12:10:26 -07:00 |
tab_bar.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
terminal.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
theme_selector.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
title_bar.rs
|
Merge branch 'main' into element-types
|
2023-11-14 12:10:26 -07:00 |
toolbar.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
traffic_lights.rs
|
Rename back to div
|
2023-11-14 01:41:55 -07:00 |
workspace.rs
|
WIP
|
2023-11-14 14:48:34 -08:00 |