Hello, I just built 5.3.5 from source and it works fine. However, I wonder where the workspace's search button went. I search the archives and read something about an "embedded search feature", but haven't found it yet. Any hints? Regards, -- Thomas Corte <Thomas.Corte at knipp.de>