What’s New in FortiManager v5.0 GA : Device Manager module : Device manager layout : Quick filter
 
Quick filter
A quick filter is available in both modes to allow you to quickly find devices in certain states, such as disconnected, or configuration out of sync.