On Mon 08 Oct 2012 05:21:11 PM CEST, Mirco Dotta wrote:
>> I don't critisize the timeouts in general - my problem is only that
>> they occur now for some days on nearly each save action, which is
>> extremely annoying.
>
> Simon, I share your pain, and we need to fix it.
>
>> Is the timeout a simple constant that can be edited? If yes, where
>> can I find it? Maybe a change can be useful on my local build (or at
>> least in the debugger).
>
> No, it isn't a user-editable constant. The default value is hardcoded
> in `ScalaPresentationCompiler.askOption`, and it is currently set to
> 10s, which is probably
> not a good default in many cases.
> I think we need to tune the timeout value on a case-by-case need. For
> instance, askOption calls in semantic highlighting should give back an
> answer almost
> instantaneously, as this calls should operate on an already
> type checked tree. Hence, I'd say that a good default for them should
> be 100/200ms.
>
> Also, it would be much better to log timeouts in the scala-ide.log
> file alone (all those `Timeout in askOption` entries in the Error Log
> View are madness :))
>
> I'm planning to have a look at it as soon as I nail down this beauty
>
https://scala-ide-portfolio.assembla.com/spaces/scala-ide/tickets/1001265
me to fix. ;)