diff --git a/share/tools/web_config/partials/history.html b/share/tools/web_config/partials/history.html index c7e36fe37..3ffee1621 100644 --- a/share/tools/web_config/partials/history.html +++ b/share/tools/web_config/partials/history.html @@ -1,6 +1,10 @@ +
+ +
+ - +
{{ item }} diff --git a/share/tools/web_config/partials/variables.html b/share/tools/web_config/partials/variables.html index 206b6751f..2b6d56364 100644 --- a/share/tools/web_config/partials/variables.html +++ b/share/tools/web_config/partials/variables.html @@ -1,9 +1,12 @@ +
+ +
+ - - + +
{{ variable.name }}
{{ variable.name }} {{ variable.value }}
- diff --git a/share/tools/web_config/webconfig.js b/share/tools/web_config/webconfig.js index 7e6a1f242..001e4791e 100644 --- a/share/tools/web_config/webconfig.js +++ b/share/tools/web_config/webconfig.js @@ -1,5 +1,22 @@ webconfig = angular.module("webconfig", []); +webconfig.filter("filterVariable", function() { + return function(variables, query) { + var result = [] + if (variables == undefined) return result; + if (query == null) { return variables }; + + for(i=0; i