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

don't use Darcula search text field with Aqua

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-08-26 17:20:48 +02:00
parent 29d40acd62
commit 9869b50cfa
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java
+7 -4
View File
@@ -37,6 +37,7 @@ import com.intellij.openapi.ui.*;
import com.intellij.openapi.util.ActionCallback;
import com.intellij.openapi.util.Disposer;
import com.intellij.openapi.util.EdtRunnable;
import com.intellij.openapi.util.SystemInfo;
import com.intellij.openapi.util.registry.Registry;
import com.intellij.openapi.wm.IdeGlassPaneUtil;
import com.intellij.ui.LightColors;
@@ -1013,10 +1014,12 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat
addKeyListener(new KeyAdapter() {});
if (Registry.is("ide.new.settings.dialog")) {
final JTextField editor = getTextEditor();
editor.putClientProperty("JTextField.variant", "search");
if (!(editor.getUI() instanceof DarculaTextFieldUI)) {
editor.setUI((DarculaTextFieldUI)DarculaTextFieldUI.createUI(editor));
editor.setBorder(new DarculaTextBorder());
if (!SystemInfo.isMac) {
editor.putClientProperty("JTextField.variant", "search");
if (!(editor.getUI() instanceof DarculaTextFieldUI)) {
editor.setUI((DarculaTextFieldUI)DarculaTextFieldUI.createUI(editor));
editor.setBorder(new DarculaTextBorder());
}
}
setBackground(UIUtil.getSidePanelColor());
setBorder(new EmptyBorder(5, 10, 2, 10));