Bug in the editHilites() modal

Hello,

I think I've found a bug in the window used to edit highlights on a ListGrid :
The Save button does not work when all the highlights have been removed (but it works well when we remove just one or when we add one).

I used of SmartGWT 3.1p-20140709 / v8.3p_2014-07-09/PowerEdition Deployment (built 2014-07-09) but it seems to work well on SmartGWT 4.1.

I'm on Firefox 26.

Thanks,
A.