I am new to mysql Workbench and there is something very annoying. The filter search box does not filter anything. I tried with the name of the database first like I saw in a
![[愿得一人]](https://www.e-learn.cn/qa/data/avatar/000/00/00/small_000000012.jpg)