Restore user-defined ordering of profiles (#38665)
This PR fixes a regression where settings profiles were no longer ordered in the same order that the user defined in their settings. Release Notes: - N/A
This commit is contained in:
@@ -16,7 +16,7 @@ pub use terminal::*;
|
||||
pub use theme::*;
|
||||
pub use workspace::*;
|
||||
|
||||
use collections::HashMap;
|
||||
use collections::{HashMap, IndexMap};
|
||||
use gpui::{App, SharedString};
|
||||
use release_channel::ReleaseChannel;
|
||||
use schemars::JsonSchema;
|
||||
@@ -182,7 +182,7 @@ pub struct UserSettingsContent {
|
||||
pub linux: Option<Box<SettingsContent>>,
|
||||
|
||||
#[serde(default)]
|
||||
pub profiles: HashMap<String, SettingsContent>,
|
||||
pub profiles: IndexMap<String, SettingsContent>,
|
||||
}
|
||||
|
||||
pub struct ExtensionsSettingsContent {
|
||||
|
||||
Reference in New Issue
Block a user