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

v8 log processing, filter call trees by 1% by default

Browse Source
This commit is contained in:
irengrig
2015-06-15 15:09:40 +02:00
parent 00a4867615
commit c6e901a23d
1 changed files with 20 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ui/components/SliderSelectorAction.java
+20 -2
View File
@@ -66,14 +66,32 @@ public class SliderSelectorAction extends DumbAwareAction {
JPanel wrapper = new JPanel(new BorderLayout());
wrapper.add(label, BorderLayout.NORTH);
final JSlider slider = new JSlider(SwingConstants.HORIZONTAL, myConfiguration.getMin(), myConfiguration.getMax(), myConfiguration.getSelected());
final Dictionary dictionary = myConfiguration.getDictionary();
final Enumeration elements = dictionary.elements();
final JSlider slider = new JSlider(SwingConstants.HORIZONTAL, myConfiguration.getMin(), myConfiguration.getMax(), myConfiguration.getSelected()) {
Integer myWidth = null;
@Override
public Dimension getPreferredSize() {
final Dimension size = super.getPreferredSize();
if (myWidth == null) {
myWidth = 10;
final FontMetrics fm = getFontMetrics(getFont());
while (elements.hasMoreElements()) {
String text = ((JLabel)elements.nextElement()).getText();
myWidth += fm.stringWidth(text + "W");
}
}
return new Dimension(myWidth, size.height);
}
};
slider.setMinorTickSpacing(1);
slider.setPaintTicks(true);
slider.setPaintTrack(true);
slider.setSnapToTicks(true);
UIUtil.setSliderIsFilled(slider, true);
slider.setPaintLabels(true);
slider.setLabelTable(myConfiguration.getDictionary());
slider.setLabelTable(dictionary);
if (! myConfiguration.isShowOk()) {
result.add(wrapper, BorderLayout.WEST);