diff options
author | Shu Kutsuzawa <cappyzawa@gmail.com> | 2021-02-22 03:53:10 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-21 19:53:10 +0100 |
commit | fe6f9eeb4de899b813b6c42a60597a0b86429557 (patch) | |
tree | 9e3c0798467152675df9f3a09db67dd7d1a5f430 /src/configs | |
parent | efb82454f2ce63a2e7af07888421bd88271432f1 (diff) |
feat(purescript): Configure when the module is shown (#2357)
This makes it possible to configure when the purescript module is shown
based on the contents of a directory. This should make it possible to
be a lot more granular when configuring the module.
Diffstat (limited to 'src/configs')
-rw-r--r-- | src/configs/purescript.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/configs/purescript.rs b/src/configs/purescript.rs index 2696610b0..b45edf68d 100644 --- a/src/configs/purescript.rs +++ b/src/configs/purescript.rs @@ -8,6 +8,9 @@ pub struct PureScriptConfig<'a> { pub symbol: &'a str, pub style: &'a str, pub disabled: bool, + pub detect_extensions: Vec<&'a str>, + pub detect_files: Vec<&'a str>, + pub detect_folders: Vec<&'a str>, } impl<'a> RootModuleConfig<'a> for PureScriptConfig<'a> { @@ -17,6 +20,9 @@ impl<'a> RootModuleConfig<'a> for PureScriptConfig<'a> { symbol: "<=> ", style: "bold white", disabled: false, + detect_extensions: vec!["purs"], + detect_files: vec!["spago.dhall"], + detect_folders: vec![], } } } |