Bugfix for Dolphin: open multiple files at once

[Peter Penz]

Hi Eduardo,

On Thursday, 21. February 2008 00:16:00 Rafael Fernández López wrote:
> Hi,
>
> > So.. is it ok to commit? I would backport it too.
>
> +1

Thanks for your support, please commit :-) As we have quite some code 
duplication here, we might think about moving this code into the 
DolphinController, but I can do this later.

Bye,
Peter