summaryrefslogtreecommitdiffstats
path: root/src/configs
diff options
context:
space:
mode:
authorShu Kutsuzawa <cappyzawa@gmail.com>2021-02-22 03:53:10 +0900
committerGitHub <noreply@github.com>2021-02-21 19:53:10 +0100
commitfe6f9eeb4de899b813b6c42a60597a0b86429557 (patch)
tree9e3c0798467152675df9f3a09db67dd7d1a5f430 /src/configs
parentefb82454f2ce63a2e7af07888421bd88271432f1 (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.rs6
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![],
}
}
}