projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d5a070) | patch
IDEA-130997 Editor gutter tooltips must properly de-escape content appcode/140.100
authorVassiliy.Kudryashov <Vassiliy.Kudryashov@jetbrains.com>
Mon, 13 Oct 2014 17:27:03 +0000 (21:27 +0400)
committerVassiliy.Kudryashov <Vassiliy.Kudryashov@jetbrains.com>
Mon, 13 Oct 2014 17:27:23 +0000 (21:27 +0400)
commitedffb2b54554418ab6ec1f2588079cd3ae07aa85
tree236b39d36776f6086986a304fd3af350dbdd9e2ctree
parent4d5a070a3f940052103955737acab8455c94cd56commit | diff
IDEA-130997 Editor gutter tooltips must properly de-escape content
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.