paint editor wallpaper in terminal

jonatino · Apr 8, 2015 · a1a78fc · a1a78fc
1 parent cbdc762
commit a1a78fc
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalWidget.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalWidget.java
@@ -2,6 +2,7 @@
 
 import com.intellij.openapi.Disposable;
 import com.intellij.openapi.util.Disposer;
+import com.intellij.openapi.wm.impl.IdeBackgroundUtil;
 import com.intellij.ui.components.JBScrollBar;
 import com.jediterm.terminal.TerminalStarter;
 import com.jediterm.terminal.TtyConnector;
@@ -13,6 +14,7 @@
 import org.jetbrains.annotations.NotNull;
 
 import javax.swing.*;
+import java.awt.*;
 
 public class JBTerminalWidget extends JediTermWidget implements Disposable{
 
@@ -33,6 +35,12 @@ protected JBTerminalPanel createTerminalPanel(@NotNull SettingsProvider settings
     return panel;
   }
 
+  @Override
+  public void paint(Graphics g) {
+    super.paint(g);
+    IdeBackgroundUtil.paintEditorBackground(g, this);
+  }
+
   @Override
   protected TerminalStarter createTerminalStarter(JediTerminal terminal, TtyConnector connector) {
     return new JBTerminalStarter(terminal, connector);