diff options
Diffstat (limited to 'examples.html')
| -rw-r--r-- | examples.html | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/examples.html b/examples.html index 633d8aa..8899d32 100644 --- a/examples.html +++ b/examples.html @@ -80,6 +80,12 @@ <div class="filter legendButton" id="audio" data-filter=".faudio">audio</div> </div> + <p id="filter_function_label">Or filter by used functions in the example:</p> + <div id="filter_function"> + <input></input> + <p id="occurences_counter"></p> + </div> + <!-- Items container, filled when loading --> <div id="container"></div> @@ -111,4 +117,4 @@ <!-- Add own script code --> <script src="common/examples.js"></script> </body> -</html>
\ No newline at end of file +</html> |