Skip to content

✨ feat: add configurable rounded tab border width and use opacity fil… #101

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mallowigi merged 1 commit into from
Oct 10, 2025
Merged

✨ feat: add configurable rounded tab border width and use opacity fil… #101

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 5 additions & 7 deletions src/main/java/krasa/editorGroups/tabs2/impl/rounded/RoundedTabPainter.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,16 +4,13 @@ import com.intellij.ui.ColorUtil
import com.intellij.util.ui.JBInsets
import krasa.editorGroups.tabs2.EditorGroupsTabsPosition
import krasa.editorGroups.tabs2.impl.painter.EditorGroupsTabPainter
import krasa.editorGroups.tabs2.impl.themes.EditorGroupDefaultTabTheme
import krasa.editorGroups.tabs2.impl.themes.EditorGroupCustomTabTheme
import krasa.editorGroups.tabs2.impl.themes.EditorGroupTabTheme
import java.awt.Color
import java.awt.Graphics2D
import java.awt.Point
import java.awt.Rectangle
import java.awt.*
import java.awt.geom.RoundRectangle2D

internal open class RoundedTabPainter : EditorGroupsTabPainter {
private val theme = EditorGroupDefaultTabTheme()
private val theme = EditorGroupCustomTabTheme()

private val regularColors = theme.background to theme.background

Expand Down Expand Up @@ -132,13 +129,14 @@ internal open class RoundedTabPainter : EditorGroupsTabPainter {

if (fill != null) {
// Paint rounded tab
g.color = fill
g.color = ColorUtil.withAlpha(fill, theme.roundTabOpacity.toDouble())
g.fill(shape)
}

if (draw != null) {
// Paint rounded border
g.color = draw
g.stroke = BasicStroke(theme.roundTabBorderWidth)
g.draw(shape)
}
}
Expand Down
3 changes: 3 additions & 0 deletions src/main/java/krasa/editorGroups/tabs2/impl/themes/EditorGroupCustomTabTheme.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,4 +72,7 @@ open class EditorGroupCustomTabTheme : EditorGroupTabTheme {

override val roundTabOpacity: Float
get() = EditorGroupsUI.backgroundOpacity()

override val roundTabBorderWidth: Float
get() = EditorGroupsUI.roundTabBorderWidth()
}
3 changes: 3 additions & 0 deletions src/main/java/krasa/editorGroups/tabs2/impl/themes/EditorGroupDefaultTabTheme.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -87,4 +87,7 @@ open class EditorGroupDefaultTabTheme : EditorGroupTabTheme {

override val roundTabOpacity: Float
get() = 0.9f

override val roundTabBorderWidth: Float
get() = 1.0f
}
1 change: 1 addition & 0 deletions src/main/java/krasa/editorGroups/tabs2/impl/themes/EditorGroupTabTheme.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,4 +55,5 @@ interface EditorGroupTabTheme {
// Islands
val roundTabArc: Int
val roundTabOpacity: Float?
val roundTabBorderWidth: Float?
}
5 changes: 5 additions & 0 deletions src/main/java/krasa/editorGroups/tabs2/impl/themes/EditorGroupsUI.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,11 @@ object EditorGroupsUI {
defaultTheme.roundTabOpacity
)

fun roundTabBorderWidth(): Float = JBUI.getFloat(
"EditorGroupsTabs.roundTabBorderWidth",
defaultTheme.roundTabBorderWidth
)

fun font(): Font {
val isCustomFont = EditorGroupsSettings.instance.isCustomFont
val customFont = EditorGroupsSettings.instance.customFont
Expand Down
Loading