<table><tr><td style="">antonanikin added a comment.
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D2902" rel="noreferrer">View Revision</a></tr></table><br /><div><div><blockquote style="border-left: 3px solid #a7b5bf; color: #464c5c; font-style: italic; margin: 4px 0 12px 0; padding: 4px 12px; background-color: #f8f9fc;"><p>I didn't so exactly follow this, but I'm confused why the "+4" is necessary. This sounds like something which would break on other systems. Don't we get the correct font size from e.g. the KDE default font?</p></blockquote>

<p>"Magic constant" is removed. Now we use <tt style="background: #ebebeb; font-size: 13px;">pixelSize</tt> of system fonts. It works good on my system (linux) but resulting font size is slightly bigger than system font. It can be "fixed" with <tt style="background: #ebebeb; font-size: 13px;">pixelSize() - 1</tt>, but I think it not necessary (and this again adds "magic constatnt"), slightly bigger new documentation fonts are better then current too small sizes.</p></div></div><br /><div><strong>REPOSITORY</strong><div><div>rKDEVPLATFORM KDevPlatform</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D2902" rel="noreferrer">https://phabricator.kde.org/D2902</a></div></div><br /><div><strong>EMAIL PREFERENCES</strong><div><a href="https://phabricator.kde.org/settings/panel/emailpreferences/" rel="noreferrer">https://phabricator.kde.org/settings/panel/emailpreferences/</a></div></div><br /><div><strong>To: </strong>antonanikin, KDevelop<br /><strong>Cc: </strong>brauch, cordlandwehr, apol, kdevelop-devel<br /></div>