diff --git a/ui (gen4)/lib/widget/browse.js b/ui (gen4)/lib/widget/browse.js index d741fb72..2d14d704 100755 --- a/ui (gen4)/lib/widget/browse.js +++ b/ui (gen4)/lib/widget/browse.js @@ -1654,6 +1654,27 @@ module.makeList = function(elem, list){ // This is similar to List(..) but will parse paths in keys... // +// Path grammar: +// +// PATH ::= [/] - simple traversable path +// | [/]/ - path with last item non-traversable +// | [/]/* - path to lister +// +// ::= +// | // +// +// ::= - explicit path element +// | | - multiple path elements (a-la simlink) +// +// ::= [^\|\\\/]* +// +// NOTE: always ends with '/' or '\' and produces a set of +// traversable items. +// NOTE: the last item is non-traversable iff: +// - it does not end with '/' or '\' +// - there is no other path defined where it is traversable +// +// // Format: // { // // basic 'file' path... @@ -1740,6 +1761,8 @@ PathListPrototype.options = { // A - matches A exactly // A|B - matches either A or B var match = function(a, path){ + // NOTE: might be good to make this recursive when expanding + // pattern support... return a .split('|') .filter(function(e){