Gideon Alpha 3

[Victor Röder]

Hi,

>
>>  * problem reporter don't update "problem marks" in the right way, 
>>     infact marks are never removed!?!!
>>     (at least on my system.. debian woody, qt-copy, kde from head, 
>> gcc 2.95)
>>  
>>
> I'll check it on my system tomorrow.
>
There aren't any problem marks added anymore if an error was detected. 
So there's actually no need to remove them ;-).

SuSE 8.1, Qt 3.1.0rc3, KDE 3.1rc2, gcc 3.2

Bye,
    Victor