git.gag.com Git - debian/openrocket/blob - core/src/net/sf/openrocket/gui/help/tours/SlideShowComponent.java

   1 package net.sf.openrocket.gui.help.tours;
   2
   3 import java.awt.Dimension;
   4
   5 import javax.swing.JEditorPane;
   6 import javax.swing.JScrollPane;
   7 import javax.swing.JSplitPane;
   8 import javax.swing.event.HyperlinkListener;
   9 import javax.swing.text.html.HTMLDocument;
  10 import javax.swing.text.html.StyleSheet;
  11
  12 import net.sf.openrocket.gui.components.ImageDisplayComponent;
  13
  14 /**
  15  * Component that displays a single slide, with the image on top and
  16  * text below it.  The portions are resizeable.
  17  *
  18  * @author Sampo Niskanen <sampo.niskanen@iki.fi>
  19  */
  20 public class SlideShowComponent extends JSplitPane {
  21
  22         private final int WIDTH = 600;
  23         private final int HEIGHT_IMAGE = 400;
  24         private final int HEIGHT_TEXT = 100;
  25
  26         private final ImageDisplayComponent imageDisplay;
  27         private final JEditorPane textPane;
  28
  29
  30         public SlideShowComponent() {
  31                 super(VERTICAL_SPLIT);
  32
  33                 imageDisplay = new ImageDisplayComponent();
  34                 imageDisplay.setPreferredSize(new Dimension(WIDTH, HEIGHT_IMAGE));
  35                 this.setLeftComponent(imageDisplay);
  36
  37                 textPane = new JEditorPane("text/html", "");
  38                 textPane.setEditable(false);
  39                 textPane.setPreferredSize(new Dimension(WIDTH, HEIGHT_TEXT));
  40
  41                 JScrollPane scrollPanel = new JScrollPane(textPane);
  42                 this.setRightComponent(scrollPanel);
  43
  44                 this.setResizeWeight(((double) HEIGHT_IMAGE) / (HEIGHT_IMAGE + HEIGHT_TEXT));
  45         }
  46
  47
  48
  49         public void setSlide(Slide slide) {
  50                 this.imageDisplay.setImage(slide.getImage());
  51                 this.textPane.setText(slide.getText());
  52                 this.textPane.setCaretPosition(0);
  53         }
  54
  55
  56         /**
  57          * Replace the current HTML style sheet with a new style sheet.
  58          */
  59         public void setStyleSheet(StyleSheet newStyleSheet) {
  60                 HTMLDocument doc = (HTMLDocument) textPane.getDocument();
  61                 StyleSheet base = doc.getStyleSheet();
  62                 StyleSheet[] linked = base.getStyleSheets();
  63                 if (linked != null) {
  64                         for (StyleSheet ss : linked) {
  65                                 base.removeStyleSheet(ss);
  66                         }
  67                 }
  68
  69                 base.addStyleSheet(newStyleSheet);
  70         }
  71
  72
  73         public void addHyperlinkListener(HyperlinkListener listener) {
  74                 textPane.addHyperlinkListener(listener);
  75         }
  76
  77 }