Community
Participate
Working Groups
(pointed out by Philippe) when hovering over an error tick in the overview ruler then there is no space on the left of the hover (see attached image)
Created attachment 5790 [details] screenshot of overview ruler hover
This is true for all hovers and has not changed since 1.0. Adapted summary.
Created attachment 20270 [details] Patch for DefaultInformationControl Here's a short patch for this polish item.
Fixed in HEAD. Added INNER_BORDER constant which is also applied to the vertical indent.
Verifying...
Verified in I20050527-0010--there is now one pixel of whitespace on the left. Markus, please update resolution.
Marking as Verified.