Merge pull request #3909 from techee/infobar_fix
commit90027ebf0f7034f0aad61d509c0f1f9a1dda7ea3
authorJiří Techet <techet@gmail.com>
Sun, 16 Jun 2024 17:05:52 +0000 (16 19:05 +0200)
committerGitHub <noreply@github.com>
Sun, 16 Jun 2024 17:05:52 +0000 (16 19:05 +0200)
tree135e0e148577f56e86c6c68fd77998c5127daeaa
parent4ce9018b8fcd580d667d1462326dcf887d5c2218
parentabbe1c984f6da1f1a1fa89851b9d010e5d3a19ae
Merge pull request #3909 from techee/infobar_fix

Avoid unwanted selection when infobar shows by mouse click in Scintilla
src/document.c