improve: filter as a plugin (#4255)

This commit is contained in:
David Vujic
2018-02-28 00:44:30 +01:00
committed by kyle
parent 6f7a4c3097
commit e6722d87aa
6 changed files with 62 additions and 6 deletions

View File

@@ -12,6 +12,7 @@ import SplitPaneModePlugin from "core/plugins/split-pane-mode"
import downloadUrlPlugin from "core/plugins/download-url"
import configsPlugin from "core/plugins/configs"
import deepLinkingPlugin from "core/plugins/deep-linking"
import filter from "core/plugins/filter"
import OperationContainer from "core/containers/OperationContainer"
@@ -152,6 +153,7 @@ export default function() {
ast,
SplitPaneModePlugin,
downloadUrlPlugin,
deepLinkingPlugin
deepLinkingPlugin,
filter
]
}