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

IDEA-116486 Option to link console font setting to editor wanted

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2015-04-21 12:50:01 +03:00
parent 32b75b720b
commit e14517ecf1
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/application/options/colors/NewColorAndFontPanel.java
+18
View File
@@ -17,12 +17,14 @@
package com.intellij.application.options.colors;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.editor.colors.EditorColorsScheme;
import com.intellij.openapi.options.colors.ColorSettingsPage;
import com.intellij.openapi.util.text.StringUtil;
import org.jetbrains.annotations.NotNull;
import javax.swing.*;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.util.Collection;
import java.util.HashSet;
import java.util.Set;
@@ -51,6 +53,22 @@ public class NewColorAndFontPanel extends JPanel {
top.add(mySchemesPanel, BorderLayout.NORTH);
top.add(myOptionsPanel.getPanel(), BorderLayout.CENTER);
if (optionsPanel instanceof ConsoleFontOptions) {
JPanel wrapper = new JPanel(new FlowLayout(FlowLayout.TRAILING));
wrapper.add(new JButton(new AbstractAction("Apply editor font settings") {
@Override
public void actionPerformed(ActionEvent e) {
EditorColorsScheme scheme = ((ConsoleFontOptions)myOptionsPanel).getCurrentScheme();
scheme.setConsoleFontName(scheme.getEditorFontName());
scheme.setConsoleFontPreferences(scheme.getFontPreferences());
scheme.setConsoleFontSize(scheme.getEditorFontSize());
scheme.setConsoleLineSpacing(scheme.getLineSpacing());
myOptionsPanel.updateOptionsList();
myPreviewPanel.updateView();
}
}));
top.add(wrapper, BorderLayout.SOUTH);
}
// We don't want to show non-used preview panel (it's considered to be not in use if it doesn't contain text).
if (myPreviewPanel.getPanel() != null && (page == null || !StringUtil.isEmptyOrSpaces(page.getDemoText()))) {