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

Merge branch 'terminalsettings_visibility' of https://github.com/xfournet/intellij-community into xfournet-terminalsettings_visibility

Browse Source
This commit is contained in:
Dmitry Trofimov
2014-09-07 02:00:31 +02:00
parent 00c3d9feeb 91e1699355
commit 363605e86b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+2 -2
View File
@@ -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() {