Marker Bar/Right Gutter Access

Avatar
Permanently deleted user
创建于

Is there anyway to access the marker bar (right gutter) via the plugin API? I already have range highlighting in the Editor text area working great, but I also want the same highlights to show up as marker in the right gutter too.

Votes

0

分享

1 条评论
Avatar
Permanently deleted user
创建于

Hello Shawn,

Is there anyway to access the marker bar (right gutter) via the plugin
API? I already have range highlighting in the Editor text area
working great, but I also want the same highlights to show up as
marker in the right gutter too.


You need to override RangeHighlighter.getErrorStripeMarkColor().

--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"


0

请先登录再写评论。