mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
PY-61628: Pass background color to Jupyter web app.
There is much more themes than "darcula" and "light". So, we pass editor gutter background to the web app, and it uses as background. GitOrigin-RevId: afc01d21723c092327ab29203f1dbf84fbc87641
This commit is contained in:
committed by
intellij-monorepo-bot
parent
874b7d0da1
commit
9f573f31dc
@@ -3,10 +3,12 @@ package com.intellij.openapi.editor.impl;
|
||||
|
||||
import com.intellij.openapi.editor.colors.EditorColors;
|
||||
import com.intellij.ui.ExperimentalUI;
|
||||
import org.jetbrains.annotations.ApiStatus;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
import java.awt.*;
|
||||
|
||||
@ApiStatus.Internal
|
||||
public final class EditorGutterColor {
|
||||
private EditorGutterColor() {
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user