New filtering tools GUI

Status: Beta

Brought to you by: bobsky

#3 New filtering tools GUI

Status: open

Owner: nobody

Labels: IHM (3)

Priority: 5

Updated: 2005-09-02

Created: 2005-09-02

Private: No

'Top bar' for the filtering (instead of a window, and
the filters dissappear as soon as the window closes)