Merge pull request #2350 from zed-industries/copilot-disable

Disable copilot unless the staff mode flag is flipped
This commit is contained in:
Mikayla Maki 2023-04-03 22:00:47 -07:00 committed by Max Brunsfeld
parent 423ba0d351
commit c4b98b8cf1
16 changed files with 129 additions and 33 deletions

View file

@ -15,6 +15,7 @@ gpui = { path = "../gpui" }
picker = { path = "../picker" }
theme = { path = "../theme" }
settings = { path = "../settings" }
staff_mode = { path = "../staff_mode" }
workspace = { path = "../workspace" }
util = { path = "../util" }
log = { version = "0.4.16", features = ["kv_unstable_serde"] }

View file

@ -5,9 +5,9 @@ use gpui::{
};
use picker::{Picker, PickerDelegate};
use settings::{settings_file::SettingsFile, Settings};
use staff_mode::StaffMode;
use std::sync::Arc;
use theme::{Theme, ThemeMeta, ThemeRegistry};
use util::StaffMode;
use workspace::{AppState, Workspace};
pub struct ThemeSelector {