MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[gh] Fix clipped commented code outline in Island Theme (IJPL-214524)

Browse Source 
#IJPL-214524 Fixed

GitOrigin-RevId: 93dfca249f76b08d2d7459b2a3d04a94510291c8
This commit is contained in:
Bartosz Janusz
2025-11-14 13:21:05 +00:00
committed by intellij-monorepo-bot
parent 5bfc428eda
commit 73d8a23b64
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/github-core/src/org/jetbrains/plugins/github/pullrequest/ui/comment/GHPRCommentedCodeFrameRenderer.kt
+2 -1
View File
@@ -37,7 +37,7 @@ class CommentedCodeFrameRenderer(
}
override fun paint(editor: Editor, g: Graphics, r: Rectangle) { // gutter part
val x = 1f
val x = OUTER_GUTTER_FRAME_PADDING
val width = (editor as? EditorEx)?.gutterComponentEx?.width?.toFloat() ?: 0f
val (y, height) = editor.getYAxisValues()
val path = createLeftOutlinePath(x, y, width, height)
@@ -86,6 +86,7 @@ class CommentedCodeFrameRenderer(
}
companion object {
private const val OUTER_GUTTER_FRAME_PADDING = 2f
private val color: Color = CodeReviewColorUtil.Review.LineFrame.border
private val stroke: Stroke = BasicStroke(JBUIScale.scale(1f))
private val radius: Int get() = JBUIScale.scale(4)