From 91e16993556b92749ac3ed4a78862e915dab8a1b Mon Sep 17 00:00:00 2001
From: Xavier Fournet <xavier.fournet@gmail.com>
Date: Sat, 12 Apr 2014 16:28:37 +0200
Subject: [PATCH] Change visibility of JBTerminalSystemSettingsProvider from
 package to public

---
 .../plugins/terminal/JBTerminalSystemSettingsProvider.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
index 12026184d4c4..dbc4ee5c13b6 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
@@ -48,12 +48,12 @@ import java.util.List;
 /**
  * @author traff
  */
-class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider implements Disposable {
+public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider implements Disposable {
   private Set<TerminalSettingsListener> myListeners = Sets.newHashSet();
 
   private final MyColorSchemeDelegate myColorScheme;
 
-  JBTerminalSystemSettingsProvider() {
+  public JBTerminalSystemSettingsProvider() {
     myColorScheme = createBoundColorSchemeDelegate(null);
 
     UISettings.getInstance().addUISettingsListener(new UISettingsListener() {