Subject: 24.5; Weird effect when selecting region with DejaVu Sans Mono font on Windows

From: Sebastien Vauban <[email-masked]>
Date: Thu, 23 Apr 2015 11:06:45 +0200

Hello,

As you can see on http://screencast.com/t/IMMvaK7Hqa, I see weird space
effects (interline is growing or decreasing when de-selecting text) with
the "DejaVu Sans Mono" font on Windows.

You notice as well some white pixels in the vertical bar of the
boxquote'd text.

Best regards,
  Seb

-- 
Sebastien Vauban