libjava/classpath/gnu/javax/swing/plaf/gtk/SliderTest.java

   1 import javax.swing.*;
   2 import javax.swing.event.*;
   3 import java.awt.*;
   4 import java.awt.event.*;
   5 import gnu.javax.swing.plaf.gtk.*;
   6
   7 public class SliderTest extends JFrame
   8 {
   9     public SliderTest()
  10     {
  11         super("JSlider Test");
  12         Container c = getContentPane();
  13         c.setLayout(new BorderLayout());
  14         this.addWindowListener(new WindowAdapter() {
  15             public void windowClosing(WindowEvent e) { System.exit(0); }
  16         });
  17
  18         JSlider s = new JSlider();
  19         s.createStandardLabels(10);
  20         s.setMinorTickSpacing(10);
  21         s.setMajorTickSpacing(20);
  22         s.setPaintTicks(true);
  23         s.setPaintTrack(true);
  24         s.setPaintLabels(true);
  25         s.setRequestFocusEnabled(true);
  26
  27         // turning off double buffering in repaint manager
  28         // in order to use debug graphics
  29         RepaintManager repaintManager = RepaintManager.currentManager(s);
  30         repaintManager.setDoubleBufferingEnabled(false);
  31
  32         s.setDebugGraphicsOptions(DebugGraphics.BUFFERED_OPTION | DebugGraphics.FLASH_OPTION);
  33         DebugGraphics.setFlashColor(Color.red);  // color of flash
  34         DebugGraphics.setFlashTime(4);  // time delay of drawing operation flashing
  35         DebugGraphics.setFlashCount(3); // number of time to draw
  36
  37         this.setSize(250, 100);
  38         c.add(new JLabel("Default Slider"), "North");
  39         c.add(s, "Center");
  40
  41         try {
  42             UIManager.setLookAndFeel("gnu.javax.swing.plaf.gtk.GtkLookAndFeel");
  43             SwingUtilities.updateComponentTreeUI(this);
  44         } catch (Exception e) {
  45             e.printStackTrace();
  46             System.exit(0);
  47         }
  48
  49         center();
  50     }
  51
  52     public void actionPerformed(ActionEvent e) {
  53         System.exit(0);
  54     }
  55
  56     public void center()
  57     {
  58         // Centering the frame
  59         Toolkit t = this.getToolkit();
  60         Dimension framesize = this.getSize();
  61         Dimension screensize = t.getScreenSize();
  62
  63         // Calculate point for frame (main)
  64         Point pframe = new Point();
  65         pframe.x = (screensize.width - framesize.width) / 2;
  66         pframe.y = (screensize.height - framesize.height) / 2;
  67
  68         // Set the location of each to be centered
  69         this.setLocation(pframe);
  70     }
  71
  72     public static void main(String [] argv)
  73     {
  74         SliderTest t = new SliderTest();
  75         t.show();
  76     }
  77
  78 }
  79
  80
  81
  82