From 21bc1deb34f2ba2a4514d54efa3b6d2a25a83deb Mon Sep 17 00:00:00 2001 From: Neil Date: Thu, 19 Jan 2017 21:31:35 +1100 Subject: Bug [#1896]. Avoid unnecessary unfolding when a deletion does not include a line end. --- doc/ScintillaHistory.html | 1 + 1 file changed, 1 insertion(+) (limited to 'doc') diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index 1236efd7d..58743678e 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -539,6 +539,7 @@
  • Fix folding inconsistency when fold header added above a folded part. + Avoid unnecessary unfolding when a deletion does not include a line end. Bug #1896.
  • -- cgit v1.2.3