Ognyan Kulev wrote:
AFAIK this will be fixed in next DejaVu release, scheduled for 16 April, and it's already fixed in SVN.
There is even DejaVu 2.4.1 that only fixes this particular problem. Regards, ogi