// // ElevationToolOptions.java // Thump // // Created by Anthony Parker on Tue Jan 14 2003. // Copyright (c) 2003 Anthony Parker. All rights reserved. // package btthud.ui; import java.awt.*; import java.awt.event.*; import java.awt.geom.*; import java.awt.font.*; import java.awt.image.*; import javax.swing.*; import javax.swing.text.*; import javax.swing.event.*; import java.lang.*; import java.util.*; import btthud.data.*; public class ElevationToolOptions extends JInternalFrame { JLabel lElevation; JSlider bElevation; int selectedElevation; MPrefs prefs; static final char ELEVATION_KEYS[] = {'0', '1', '2', '3', '4', '5', '6', '7', '8', '9'}; public ElevationToolOptions(MPrefs prefs) { super("Hex Elevation"); this.prefs = prefs; setClosable(false); setResizable(false); selectedElevation = 0; setLayer(JLayeredPane.PALETTE_LAYER); Container contentPane = getContentPane(); contentPane.setLayout(new BorderLayout()); bElevation = new JSlider(javax.swing.SwingConstants.HORIZONTAL, 0, 9, 0); bElevation.setPaintTicks(true); bElevation.setToolTipText("Set an Elevation"); bElevation.setMajorTickSpacing(1); //bElevation.setMinorTickSpacing(1); bElevation.setSnapToTicks(true); bElevation.setPaintLabels(true); contentPane.add(bElevation, BorderLayout.CENTER); lElevation = new JLabel("Elevation:"); lElevation.setLabelFor(bElevation); contentPane.add(lElevation, BorderLayout.WEST); pack(); setLocation(prefs.elevationToolsLoc); // Show the window now this.show(); } // ---------------------------- public int selectedElevation() { return bElevation.getValue(); } public void setElevation(int i) { bElevation.setValue(i); } // --------------------------- static public int toolForChar(char c) { for (int i = 0; i < ELEVATION_KEYS.length; i++) { if (ELEVATION_KEYS[i] == c) return i; } return -1; } }