MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 13:11:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-189995 Not possible to access the options of 'Replace'

Browse Source 
when selected text is long, cannot resize search/replace field box either
This commit is contained in:
Vassiliy.Kudryashov
2018-04-11 15:43:25 +03:00
parent 64312bd940
commit ef40d431f7
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/find/SearchReplaceComponent.java
+2
View File
@@ -28,6 +28,7 @@ import com.intellij.ui.components.panels.Wrapper;
import com.intellij.ui.speedSearch.SpeedSearchSupply;
import com.intellij.util.EventDispatcher;
import com.intellij.util.containers.ContainerUtil;
import com.intellij.util.ui.JBDimension;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.NonNls;
@@ -130,6 +131,7 @@ public class SearchReplaceComponent extends EditorHeaderComponent implements Dat
};
myLeftPanel = new NonOpaquePanel(new BorderLayout());
myLeftPanel.setMinimumSize(new JBDimension(200, 16));
myLeftPanel.setBorder(JBUI.Borders.emptyLeft(6));
myLeftPanel.add(mySearchFieldWrapper, BorderLayout.NORTH);
myLeftPanel.add(myReplaceFieldWrapper, BorderLayout.SOUTH);