Filtering elements by id gets reset by buttons "show/hide elements without id" and "show/hide all nodes"
When entering a text to filter elements by id name, and then clicking on one of the 2 buttons "show/hide elements without id" or "show/hide all nodes", the text filter is no longer taken into account.