diff --git a/examples/index.html b/examples/index.html index facbaad3d79fd9191078becf5933c253ea1fd657..18332f261fd8890793f30805e81f79592ff43728 100644 --- a/examples/index.html +++ b/examples/index.html @@ -232,7 +232,7 @@ function updateFilter() { - var v = filterInput.value; + var v = filterInput.value.trim(); if ( v !== '' ) { @@ -266,7 +266,7 @@ var link = links[ file ]; var name = getName( file ); - if ( file in tags ) file += tags[ file ].join( ' ' ); + if ( file in tags ) file += ' ' + tags[ file ].join( ' ' ); var res = file.match( exp ); var text;