Skip to content

Regularize custom config of plugins #1576

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
berberman merged 18 commits into from
Mar 19, 2021
Merged

Regularize custom config of plugins #1576

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
cc8e4fd
Support declarative custom config, add --vscode-extension-schema
berberman Mar 15, 2021
3a0b101
Add globalOn
berberman Mar 15, 2021
5a2ed74
Merge branch 'master' into declarative-custom-config
berberman Mar 16, 2021
8ba5e6e
Add --generate-default-config
berberman Mar 16, 2021
9c0d0ff
Port tactic plugin
berberman Mar 16, 2021
dfa856f
Fix build of tactic plugin test
berberman Mar 16, 2021
a364178
Fix tactic plugin test
berberman Mar 17, 2021
26d1277
Revert format changes in tactics plugin
berberman Mar 17, 2021
14018f8
Change the descriptor of tactics plugin to "tactics"
berberman Mar 17, 2021
d626aa8
Update plugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs
berberman Mar 17, 2021
052b1eb
Merge branch 'master' into declarative-custom-config
berberman Mar 17, 2021
0960bb7
Apply a bunch of @isovector's suggestions
berberman Mar 18, 2021
2724d9b
Merge branch 'master' into declarative-custom-config
berberman Mar 18, 2021
8106ea4
Merge branch 'master' into declarative-custom-config
berberman Mar 18, 2021
03088ee
Document Ide.Plugin.ConfigUtils
berberman Mar 18, 2021
fa4662c
Merge branch 'master' into declarative-custom-config
mergify[bot] Mar 19, 2021
0bda527
Add TInteger
berberman Mar 19, 2021
f79bd34
Fix build
berberman Mar 19, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion plugins/hls-tactics-plugin/test/Utils.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ setFeatureSet features = do
def_config = def :: Plugin.Config
config =
def_config
{ Plugin.plugins = M.fromList [("tactics",
{ Plugin.plugins = M.fromList [("tactic",
def { Plugin.plcConfig = unObject $ object ["features" .= prettyFeatureSet features] }
)] <> Plugin.plugins def_config }

Expand Down