diff options
| author | hjk <[email protected]> | 2023-01-19 17:34:40 +0100 |
|---|---|---|
| committer | hjk <[email protected]> | 2023-01-27 13:30:26 +0000 |
| commit | 55dd9330664dce88958b002dec63435e359a5776 (patch) | |
| tree | 7207ed7a5c383bd6391747806b76fabc0c2f910d /src/plugins/haskell/share | |
| parent | 97976fd3cbdd57ed83cdc3e606196f2bb7ee1a78 (diff) | |
Haskell: Import from superrepo
Change-Id: I83c6c817c78ccbf1aee65847777f2652e19275a5
Reviewed-by: Eike Ziller <[email protected]>
Diffstat (limited to 'src/plugins/haskell/share')
| -rw-r--r-- | src/plugins/haskell/share/wizards/module/file.hs | 1 | ||||
| -rw-r--r-- | src/plugins/haskell/share/wizards/module/wizard.json | 42 |
2 files changed, 43 insertions, 0 deletions
diff --git a/src/plugins/haskell/share/wizards/module/file.hs b/src/plugins/haskell/share/wizards/module/file.hs new file mode 100644 index 00000000000..e3f85b3f775 --- /dev/null +++ b/src/plugins/haskell/share/wizards/module/file.hs @@ -0,0 +1 @@ +module %{BaseName} where diff --git a/src/plugins/haskell/share/wizards/module/wizard.json b/src/plugins/haskell/share/wizards/module/wizard.json new file mode 100644 index 00000000000..37f6ebf975b --- /dev/null +++ b/src/plugins/haskell/share/wizards/module/wizard.json @@ -0,0 +1,42 @@ +{ + "version": 1, + "supportedProjectTypes": [ ], + "id": "C.Module", + "category": "S.Haskell", + "trDescription": "Creates a Haskell module.", + "trDisplayName": "Module", + "trDisplayCategory": "Haskell", + "iconText": "hs", + "enabled": "%{JS: value('Plugins').indexOf('Haskell') >= 0}", + + "options": [ + { "key": "FileName", "value": "%{JS: Util.fileName(value('TargetPath'), 'hs')}" }, + { "key": "BaseName", "value": "%{JS: Util.baseName(value('FileName'))}" } + ], + + "pages" : + [ + { + "trDisplayName": "Location", + "trShortTitle": "Location", + "typeId": "File" + }, + { + "trDisplayName": "Project Management", + "trShortTitle": "Summary", + "typeId": "Summary" + } + ], + "generators" : + [ + { + "typeId": "File", + "data": + { + "source": "file.hs", + "target": "%{FileName}", + "openInEditor": true + } + } + ] +} |
