On Sunday 17 March 2002 6:09, you wrote: > > The shell plugin already exists, but does not support drag and drop yet. > > It's not a shell plugin, it`s a terminal emulator. That's a big difference. Is that doable, though? -- Arie Folger, Research databases at Stern