[Dillo-dev] Patch set: improve window titles

Jeremy wrote:

Please comment. There is nothing complicated or disruptive here - just some minor polishing of the GUI and the code base. No functionality is changed.

These are a good improvement...