private JComponent createSettingsPanel() {
JPanel result = new JPanel(new FlowLayout(FlowLayout.RIGHT, 3, 0));
result.add(new JLabel(ApplicationBundle.message("label.font.size")));
myFontSizeSlider = new JSlider(JSlider.HORIZONTAL, 0, FontSize.values().length - 1, 3);
myFontSizeSlider.setMinorTickSpacing(1);
myFontSizeSlider.setPaintTicks(true);
myFontSizeSlider.setPaintTrack(true);
myFontSizeSlider.setSnapToTicks(true);
UIUtil.setSliderIsFilled(myFontSizeSlider, true);
result.add(myFontSizeSlider);
result.setBorder(BorderFactory.createLineBorder(UIUtil.getBorderColor(), 1));
myFontSizeSlider.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
if (myIgnoreFontSizeSliderChange) {
return;
}
EditorColorsManager colorsManager = EditorColorsManager.getInstance();
EditorColorsScheme scheme = colorsManager.getGlobalScheme();
scheme.setQuickDocFontSize(FontSize.values()[myFontSizeSlider.getValue()]);
applyFontSize();
}
});
String tooltipText = ApplicationBundle.message("quickdoc.tooltip.font.size.by.wheel");
result.setToolTipText(tooltipText);
myFontSizeSlider.setToolTipText(tooltipText);
result.setVisible(false);
result.setOpaque(true);
myFontSizeSlider.setOpaque(true);
return result;
}
private JSlider makeJSlider() {
JSlider slider = new JSlider(JSlider.VERTICAL, 0, 10, 1);
slider.setMajorTickSpacing(1);
slider.setPaintTicks(true);
slider.setSnapToTicks(true);
Hashtable labelTable = new Hashtable();
for (int i = 0; i <= 10; i += 2) {
labelTable.put(new Integer(i), new JLabel(i + " Seconds"));
}
slider.setLabelTable(labelTable);
slider.setPaintLabels(true);
return slider;
}
private void makeComponents() {
this.getWwd().setPreferredSize(new Dimension(1024, 768));
JPanel panel = new JPanel(new BorderLayout());
{
panel.setBorder(new EmptyBorder(10, 0, 10, 0));
JPanel controlPanel = new JPanel(new BorderLayout(0, 10));
controlPanel.setBorder(new EmptyBorder(20, 10, 20, 10));
JPanel btnPanel = new JPanel(new GridLayout(5, 1, 0, 5));
{
JButton btn = new JButton("Zoom to Matterhorn");
btn.setActionCommand(ACTION_COMMAND_BUTTON1);
btn.addActionListener(this.controller);
btnPanel.add(btn);
btn = new JButton("DEMO getElevations()");
btn.setActionCommand(ACTION_COMMAND_BUTTON2);
btn.addActionListener(this.controller);
btnPanel.add(btn);
btn = new JButton("DEMO getElevation()");
btn.setActionCommand(ACTION_COMMAND_BUTTON3);
btn.addActionListener(this.controller);
btnPanel.add(btn);
btn = new JButton("DEMO new getElevations");
btn.setActionCommand(ACTION_COMMAND_BUTTON4);
btn.addActionListener(this.controller);
btnPanel.add(btn);
// btn = new JButton("Button 5");
// btn.setActionCommand(ACTION_COMMAND_BUTTON5);
// btn.addActionListener(this.controller);
// btnPanel.add(btn);
}
controlPanel.add(btnPanel, BorderLayout.NORTH);
JPanel vePanel = new JPanel(new BorderLayout(0, 5));
{
JLabel label = new JLabel("Vertical Exaggeration");
vePanel.add(label, BorderLayout.NORTH);
int MIN_VE = 1;
int MAX_VE = 8;
int curVe = (int) this.getWwd().getSceneController().getVerticalExaggeration();
curVe = curVe < MIN_VE ? MIN_VE : (curVe > MAX_VE ? MAX_VE : curVe);
JSlider slider = new JSlider(MIN_VE, MAX_VE, curVe);
slider.setMajorTickSpacing(1);
slider.setPaintTicks(true);
slider.setSnapToTicks(true);
Hashtable<Integer, JLabel> labelTable = new Hashtable<Integer, JLabel>();
labelTable.put(1, new JLabel("1x"));
labelTable.put(2, new JLabel("2x"));
labelTable.put(4, new JLabel("4x"));
labelTable.put(8, new JLabel("8x"));
slider.setLabelTable(labelTable);
slider.setPaintLabels(true);
slider.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
double ve = ((JSlider) e.getSource()).getValue();
ActionEvent ae = new ActionEvent(ve, 0, ACTION_COMMAND_VERTICAL_EXAGGERATION);
controller.actionPerformed(ae);
}
});
vePanel.add(slider, BorderLayout.SOUTH);
}
controlPanel.add(vePanel, BorderLayout.SOUTH);
panel.add(controlPanel, BorderLayout.SOUTH);
this.layerPanel = new LayerPanel(this.getWwd(), null);
panel.add(this.layerPanel, BorderLayout.CENTER);
}
getContentPane().add(panel, BorderLayout.WEST);
}
public NumberField(NumberOption option) {
super(option);
panel = new JPanel(new GridBagLayout());
this.step = option.getStep();
Double min = option.getMin();
Double max = option.getMax();
Double defl = new Double(option.getDefault());
// Normalize parameters
if (min != null && defl.compareTo(min) < 0) {
defl = min;
} else if (max != null && defl.compareTo(max) > 0) {
defl = max;
}
if (min != null) {
sliderMin = (int) (min.doubleValue() / step);
} else {
sliderMin = SLIDER_DEFAULT_MIN;
}
if (max != null) {
sliderMax = (int) (max.doubleValue() / step);
} else {
sliderMax = SLIDER_DEFAULT_MAX;
}
// Create spinner
SpinnerNumberModel spinnerModel = new SpinnerNumberModel(defl, min, max, new Double(step));
spinner = new JSpinner(spinnerModel);
((JSpinner.DefaultEditor) spinner.getEditor()).getTextField().setColumns(FIELD_WIDTH);
// Create slider
slider = new JSlider(sliderMin, sliderMax, sliderIndex(defl));
slider.setPaintLabels(false);
slider.setPaintTicks(false);
slider.setSnapToTicks(false);
// Add listeners. The spinner is the master and the slider is
// the slave.
spinner.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
int newIndex = sliderIndex((Double) spinner.getValue());
if (slider.getValue() != newIndex) {
slider.setValue(newIndex);
}
fireChangeEvent();
}
});
slider.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
int newIndex = slider.getValue();
if (newIndex != sliderIndex((Double) spinner.getValue())) {
spinner.setValue(new Double(newIndex * step));
}
}
});
// Create enable checkbox
configureEnableToggle(
option.isInitiallyEnabled(),
string(option.getDisabledValue()),
Arrays.asList((JComponent) spinner, slider));
// Add to the panel
panel.add(spinner);
GridBagConstraints c = new GridBagConstraints();
c.insets = new Insets(0, 8, 0, 0);
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1;
panel.add(slider, c);
}