From 3a568448d3e65af9346d34a2c3e8fcdc010e6f0c Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Wed, 10 Apr 2024 11:29:58 +0200
Subject: [PATCH] remove `DefaultSettingsProvider.getDefaultStyle`
 implementation identical to `UserSettingsProvider.getDefaultStyle`

---
 .../terminal/ui/settings/DefaultSettingsProvider.java       | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/ui/src/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java b/ui/src/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java
index 08e151f3..d208005b 100644
--- a/ui/src/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java
+++ b/ui/src/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java
@@ -112,12 +112,6 @@ public float getTerminalFontSize() {
     return 14;
   }
 
-  @Override
-  public TextStyle getDefaultStyle() {
-    return new TextStyle(TerminalColor.BLACK, TerminalColor.WHITE);
-    // return new TextStyle(TerminalColor.WHITE, TerminalColor.rgb(24, 24, 24));
-  }
-
   @Override
   public @NotNull TextStyle getSelectionColor() {
     return new TextStyle(TerminalColor.WHITE, TerminalColor.rgb(82, 109, 165));