mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[execution] clear an unnecessary border from the log view
GitOrigin-RevId: fae84ee46514a15b29295a1d11bc483faac96f04
This commit is contained in:
committed by
intellij-monorepo-bot
parent
9cab142fb7
commit
3e05d58726
@@ -47,6 +47,7 @@ import com.intellij.util.ArrayUtilRt;
|
||||
import com.intellij.util.containers.ContainerUtil;
|
||||
import com.intellij.util.ui.EDT;
|
||||
import com.intellij.util.ui.JBEmptyBorder;
|
||||
import com.intellij.util.ui.UIUtil;
|
||||
import com.intellij.util.ui.accessibility.AccessibleContextUtil;
|
||||
import com.intellij.util.ui.accessibility.ScreenReader;
|
||||
import org.jetbrains.annotations.*;
|
||||
@@ -128,6 +129,8 @@ public abstract class LogConsoleBase extends AdditionalTabComponent implements L
|
||||
TextConsoleBuilder builder = TextConsoleBuilderFactory.getInstance().createBuilder(project, scope);
|
||||
builder.setViewer(true);
|
||||
myConsole = builder.getConsole();
|
||||
// remove the left border from console view
|
||||
UIUtil.removeScrollBorder(myConsole.getComponent());
|
||||
myConsole.attachToProcess(myProcessHandler);
|
||||
myDisposed = false;
|
||||
myModel.addFilterListener(this);
|
||||
|
||||
Reference in New Issue
Block a user