diff options
| -rw-r--r-- | doc/ScintillaHistory.html | 11 | ||||
| -rw-r--r-- | src/LineMarker.cxx | 2 |
2 files changed, 12 insertions, 1 deletions
diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index 162ab92e5..4d69143ac 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -594,6 +594,17 @@ </table> <h2 id="Releases">Releases</h2> <h3> + <a href="https://www.scintilla.org/scintilla557.zip">Release 5.5.7</a> + </h3> + <ul> + <li> + Released 2 April 2025. + </li> + <li> + Tweak SC_MARK_BAR to be slightly wider by using next higher whole pixel instead of next lower for margin width / 3. + </li> + </ul> + <h3> <a href="https://www.scintilla.org/scintilla556.zip">Release 5.5.6</a> </h3> <ul> diff --git a/src/LineMarker.cxx b/src/LineMarker.cxx index 85d8a7b59..31287883a 100644 --- a/src/LineMarker.cxx +++ b/src/LineMarker.cxx @@ -521,7 +521,7 @@ void LineMarker::Draw(Surface *surface, const PRectangle &rcWhole, const Font *f // Hide cap by continuing a bit. constexpr XYPOSITION continueLength = 5.0; PRectangle rcBar = rcWhole; - const XYPOSITION widthBar = std::floor(rcWhole.Width() / 3.0); + const XYPOSITION widthBar = std::ceil(rcWhole.Width() / 3.0); rcBar.left = centreX - std::floor(widthBar / 2.0); rcBar.right = rcBar.left + widthBar; surface->SetClip(rcWhole); // Hide continued caps |