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

JCEF: fix transparent scrollbar size

Browse Source 
GitOrigin-RevId: f906504e6a41654195216c3c98d5317dc1ec73a5
This commit is contained in:
Vladimir Kharitonov
2023-08-29 21:20:03 +00:00
committed by intellij-monorepo-bot
parent 4170b30d0e
commit 9e676ee36b
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/jcef/JBCefScrollbarsHelper.java
+8 -5
View File
@@ -63,7 +63,7 @@ public final class JBCefScrollbarsHelper {
}
int trackSizePx = getTrackSizePx();
int thumbPaddingPx = getThumbPuddingPx();
int thumbPaddingPx = getThumbPaddingPx();
int thumbRadiusPx = getThumbRadiusPx();
return
@@ -153,13 +153,13 @@ public final class JBCefScrollbarsHelper {
final int thumbBorderWidthPx = 1;
int trackSizePx = getTrackSizePx();
int thumbPaddingPx = getThumbPuddingPx();
int thumbPaddingPx = getThumbPaddingPx();
int thumbRadiusPx = getThumbRadiusPx();
int thumbSizePercent = 100;
return ".os-scrollbar {\n" +
" --os-size: " + trackSizePx + "px;\n" +
" --os-padding-perpendicular: " + thumbPaddingPx + "px;\n" +
" --os-padding-axis: " + thumbPaddingPx + "px;\n" +
" --os-padding-perpendicular: " + (thumbPaddingPx + thumbBorderWidthPx) + "px;\n" +
" --os-handle-border-radius: " + thumbRadiusPx + "px;\n" +
" --os-track-border-radius: 0;" +
@@ -170,6 +170,9 @@ public final class JBCefScrollbarsHelper {
" --os-handle-bg: " + thumbColor + ";\n" +
" --os-handle-bg-active: " + thumbColor + ";\n" +
" --os-handle-bg-hover: " + thumbHoveredColor + ";\n" +
" --os-handle-perpendicular-size: " + thumbSizePercent + "%;\n" +
" --os-handle-perpendicular-size-hover: " + thumbSizePercent + "%;\n" +
" --os-handle-perpendicular-size-active: " + thumbSizePercent + "%;\n" +
"}\n" +
".os-scrollbar-handle {" +
" outline: " + thumbBorderWidthPx + "px solid " + thumbBorderColor + ";\n" +
@@ -187,7 +190,7 @@ public final class JBCefScrollbarsHelper {
return (int)(JBCefApp.normalizeScaledSize(SystemInfo.isMac ? 14 : 10) * UISettingsUtils.getInstance().getCurrentIdeScale());
}
private static int getThumbPuddingPx() {
private static int getThumbPaddingPx() {
return (int)(JBCefApp.normalizeScaledSize(SystemInfo.isMac ? 3 : 1) * UISettingsUtils.getInstance().getCurrentIdeScale());
}