projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f9049f) | patch
IDEA-148086 Empty gutter in console became wider - increase gap to 1 px for console clion/144.1252
authorEgor.Ushakov <egor.ushakov@jetbrains.com>
Thu, 19 Nov 2015 09:02:28 +0000 (12:02 +0300)
committerEgor.Ushakov <egor.ushakov@jetbrains.com>
Thu, 19 Nov 2015 09:02:28 +0000 (12:02 +0300)
commitadbbf7d28eb8dc254020b8f6b58375ef3c47722e
tree92f5b10070b7a2589a2a932482322f18c2b76a51tree
parent5f9049f8aa65531ebfd1a9f845fa5cc6c759ec8bcommit | diff
IDEA-148086 Empty gutter in console became wider - increase gap to 1 px for console
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterComponentImpl.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.