| .. |
|
assistant_panel.rs
|
Use new children approach for Toolbar
|
2023-10-12 15:47:26 -04:00 |
|
breadcrumb.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
buffer.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
buffer_search.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
chat_panel.rs
|
Checkpoint
|
2023-10-12 13:27:46 -06:00 |
|
collab_panel.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
command_palette.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
context_menu.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
editor_pane.rs
|
Add state to BufferSearch
|
2023-10-13 17:44:21 -04:00 |
|
facepile.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
icon_button.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
keybinding.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
language_selector.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
list.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
multi_buffer.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
notification.rs
|
Checkpoint
|
2023-10-17 22:16:48 +02:00 |
|
palette.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
panel.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
panes.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
player_stack.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
project_panel.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
recent_projects.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
status_bar.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
tab.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
tab_bar.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
terminal.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
theme_selector.rs
|
Checkpoint
|
2023-10-12 12:18:35 -04:00 |
|
title_bar.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
toast.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
toolbar.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
traffic_lights.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
|
workspace.rs
|
Rename fill to bg
|
2023-10-18 09:39:23 +02:00 |
