diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-11 01:58:48 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-11 02:01:32 +0800 |
| commit | 06b7ae78ed4b86b80e9708206787326c1142249a (patch) | |
| tree | d769709ed86ea05e2c139edf6c52a6a64630a5df /mingling/src/features.rs | |
| parent | 41e076651196cf6066a73d88ce11635be35f0f26 (diff) | |
docs(dev): add Picker2 arguments parser issue page
Diffstat (limited to 'mingling/src/features.rs')
| -rw-r--r-- | mingling/src/features.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mingling/src/features.rs b/mingling/src/features.rs index 4d0c50b..32ca5de 100644 --- a/mingling/src/features.rs +++ b/mingling/src/features.rs @@ -141,6 +141,17 @@ pub const MINGLING_PATHF: bool = false; #[cfg(feature = "pathf")] #[allow(unused)] pub const MINGLING_PATHF: bool = true; +/// Whether the `picker` feature is enabled +/// Current: `disabled` +#[cfg(not(feature = "picker"))] +#[allow(unused)] +pub const MINGLING_PICKER: bool = false; + +/// Whether the `picker` feature is enabled +/// Current: `enabled` +#[cfg(feature = "picker")] +#[allow(unused)] +pub const MINGLING_PICKER: bool = true; /// Whether the `repl` feature is enabled /// Current: `disabled` #[cfg(not(feature = "repl"))] |