IDEA-39879 Background color and gutter stripe color for bookmarks should be configurable idea/138.427
authorVassiliy <vassiliy.kudryashov@jetbrains.com>
Mon, 2 Jun 2014 12:30:24 +0000 (16:30 +0400)
committerVassiliy <vassiliy.kudryashov@jetbrains.com>
Mon, 2 Jun 2014 12:30:58 +0000 (16:30 +0400)
commit320ecacc2ad4174a4a1eab25b17d0c798be18d96
treea072d0bee233e497dd7a0c0dbda4fa9ba8a4e620
parentab780e01e91e4233249ab756341d637e3179b409
IDEA-39879 Background color and gutter stripe color for bookmarks should be configurable
platform/core-api/src/com/intellij/openapi/editor/colors/CodeInsightColors.java
platform/lang-impl/src/com/intellij/application/options/colors/ColorAndFontOptions.java
platform/lang-impl/src/com/intellij/ide/bookmarks/Bookmark.java
platform/lang-impl/src/com/intellij/ide/bookmarks/BookmarkManager.java
platform/lang-impl/src/com/intellij/openapi/options/colors/pages/GeneralColorsPage.java
platform/platform-resources-en/src/messages/OptionsBundle.properties
platform/platform-resources/src/DefaultColorSchemesManager.xml