Bug still exists on current DejaVu version (2.23). Reported on DejaVu bugilla: https://bugs.freedesktop.org/show_bug.cgi?id=14295
Bug still exists on current DejaVu version (2.23). Reported on DejaVu bugilla: https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 14295