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

Take correct setting for console background color (PY-10737).

Browse Source
This commit is contained in:
Dmitry Trofimov
2013-09-05 18:51:26 +02:00
parent b138d0500d
commit a742e91d4b
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+2 -1
View File
@@ -1,6 +1,7 @@
package org.jetbrains.plugins.terminal;
import com.intellij.application.options.OptionsConstants;
import com.intellij.execution.ui.ConsoleViewContentType;
import com.intellij.openapi.actionSystem.KeyboardShortcut;
import com.intellij.openapi.actionSystem.Shortcut;
import com.intellij.openapi.editor.colors.*;
@@ -204,7 +205,7 @@ class JBTerminalSystemSettingsProvider extends DefaultSettingsProvider {
@NotNull
@Override
public Color getDefaultBackground() {
return getGlobal().getDefaultBackground();
return getGlobal().getColor(ConsoleViewContentType.CONSOLE_BACKGROUND_KEY);
}
@NotNull