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

Take colors and keys for find in terminal from settings.

Browse Source
This commit is contained in:
Dmitry Trofimov
2016-02-15 14:11:14 +01:00
parent dc789de673
commit 4defca9583
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/JBTerminalSystemSettingsProvider.java
+11
View File
@@ -102,6 +102,11 @@ public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvi
return getKeyStrokesByActionId("PreviousTab");
}
@Override
public KeyStroke[] getFindKeyStrokes() {
return getKeyStrokesByActionId("Find");
}
@Override
public ColorPalette getTerminalColorPalette() {
return new JBTerminalSchemeColorPalette(myColorScheme);
@@ -151,6 +156,12 @@ public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvi
TerminalColor.awt(myColorScheme.getColor(EditorColors.SELECTION_BACKGROUND_COLOR)));
}
@Override
public TextStyle getFoundPatternColor() {
return new TextStyle(TerminalColor.awt(myColorScheme.getAttributes(EditorColors.TEXT_SEARCH_RESULT_ATTRIBUTES).getForegroundColor()),
TerminalColor.awt(myColorScheme.getAttributes(EditorColors.TEXT_SEARCH_RESULT_ATTRIBUTES).getBackgroundColor()));
}
@Override
public TextStyle getDefaultStyle() {
return new TextStyle(TerminalColor.awt(myColorScheme.getDefaultForeground()), TerminalColor.awt(