[Kile-devel] Docmanager modifications (II)

[Michel L. <mic...@kd...>]

Hi,

before we all forget about this issue, I thought it would be better to send an 
up-to-date patch again.

And I cheekily claim that I'll commit it on the 24th October if there won't 
come any objections.


Greetings,

Michel