Jerome Minec - 2001-03-15

diff file of gui/SearchPanel.java