home *** CD-ROM | disk | FTP | other *** search
/ CD Actual Thematic 7: Programming / CDAT7.iso / Share / Java / JDesignerPro / Jdp3_0.exe / data1.cab / Program_Files / JDPBrowserCtl.class (.txt) < prev    next >
Encoding:
Java Class File  |  1999-04-09  |  4.6 KB  |  179 lines
  1. import java.awt.BorderLayout;
  2. import java.awt.Button;
  3. import java.awt.Container;
  4. import java.awt.Event;
  5. import java.awt.Font;
  6. import java.awt.Panel;
  7. import java.net.URL;
  8.  
  9. public class JDPBrowserCtl extends JDPClassLayout {
  10.    JDPBrowser HTMLPanel1;
  11.    Panel Main;
  12.    JDPButtons btns;
  13.    JDPPopupMessage popuppanel;
  14.    JDPPopupMenu popup;
  15.  
  16.    public void setKeywords(String[] var1) {
  17.       this.HTMLPanel1.setKeywords(var1);
  18.    }
  19.  
  20.    public String getDocname() {
  21.       return this.HTMLPanel1.getDocname();
  22.    }
  23.  
  24.    public boolean setDocname(String var1) {
  25.       return this.HTMLPanel1.setDocname(var1);
  26.    }
  27.  
  28.    public boolean setDocname(String var1, boolean var2) {
  29.       return this.HTMLPanel1.setDocname(var1, var2);
  30.    }
  31.  
  32.    public void setMatchCompleteWords(boolean var1) {
  33.       this.HTMLPanel1.setMatchCompleteWords(var1);
  34.    }
  35.  
  36.    public boolean handleEvent(Event var1) {
  37.       switch (var1.id) {
  38.          case 202:
  39.             if (var1.target instanceof JDPTabSelectPanel) {
  40.                return true;
  41.             }
  42.  
  43.             return false;
  44.          case 502:
  45.             this.popup.display(var1.x, var1.y);
  46.             return true;
  47.          case 503:
  48.          case 504:
  49.          case 505:
  50.             this.popuppanel.postEvent(var1);
  51.             return false;
  52.          case 1001:
  53.             if (var1.target instanceof Button) {
  54.                String var2 = (String)var1.arg;
  55.                if (var2.equals("Back")) {
  56.                   this.HTMLPanel1.back();
  57.                   return true;
  58.                }
  59.  
  60.                if (var2.equals("Forward")) {
  61.                   this.HTMLPanel1.forward();
  62.                   return true;
  63.                }
  64.             }
  65.  
  66.             if (var1.target.equals(this.popup)) {
  67.                String var5 = this.popup.getSelectedMenu(0);
  68.                if (var5.equals("Send to browser")) {
  69.                   Object var6 = null;
  70.  
  71.                   try {
  72.                      URL var7 = new URL(this.HTMLPanel1.getFullDocname());
  73.                      super.user.JDesignerPro.getAppletContext().showDocument(var7);
  74.                   } catch (Exception var4) {
  75.                      super.user.mainmsg.setStatusMsg("Could not load URL: " + ((URL)var6).toString(), 10);
  76.                   }
  77.  
  78.                   return true;
  79.                }
  80.  
  81.                if (var5.equals("Back")) {
  82.                   this.HTMLPanel1.back();
  83.                   return true;
  84.                }
  85.  
  86.                if (var5.equals("Forward")) {
  87.                   this.HTMLPanel1.forward();
  88.                   return true;
  89.                }
  90.  
  91.                if (var5.equals("Table of Contents")) {
  92.                   this.HTMLPanel1.setDocname("jdpmanual.htm", false);
  93.                   return true;
  94.                }
  95.  
  96.                if (var5.equals("Set font")) {
  97.                   String var3 = this.popup.getSelectedMenu(1);
  98.                   if (var3.equals("infinitesimal")) {
  99.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize - 4);
  100.                   } else if (var3.equals("tiny")) {
  101.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize - 1);
  102.                   } else if (var3.equals("small")) {
  103.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize + 1);
  104.                   } else if (var3.equals("regular")) {
  105.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize + 3);
  106.                   } else if (var3.equals("large")) {
  107.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize + 7);
  108.                   } else if (var3.equals("huge")) {
  109.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize + 15);
  110.                   } else if (var3.equals("enormous")) {
  111.                      this.HTMLPanel1.setFontSize(super.user.plainFontSize + 24);
  112.                   }
  113.  
  114.                   return true;
  115.                }
  116.  
  117.                if (var5.equals("Print")) {
  118.                   this.HTMLPanel1.printPages();
  119.                   return true;
  120.                }
  121.             }
  122.  
  123.             return true;
  124.          default:
  125.             return false;
  126.       }
  127.    }
  128.  
  129.    public void InitClass(JDPUser var1, Panel var2, String var3) {
  130.       super.user = var1;
  131.       ((Container)this).setLayout(new BorderLayout());
  132.       this.popup = new JDPPopupMenu(var1, this);
  133.       this.popup.addEntry("Back");
  134.       this.popup.addEntry("Forward");
  135.       String[] var4 = new String[]{"Set font", "infinitesimal"};
  136.       this.popup.addEntry(var4);
  137.       var4[1] = "tiny";
  138.       this.popup.addEntry(var4);
  139.       var4[1] = "small";
  140.       this.popup.addEntry(var4);
  141.       var4[1] = "regular";
  142.       this.popup.addEntry(var4);
  143.       var4[1] = "large";
  144.       this.popup.addEntry(var4);
  145.       var4[1] = "huge";
  146.       this.popup.addEntry(var4);
  147.       var4[1] = "enormous";
  148.       this.popup.addEntry(var4);
  149.       if (!JDesignerPro.executable) {
  150.          this.popup.addEntry("Send to browser");
  151.       } else if (!System.getProperty("java.version").startsWith("1.0")) {
  152.          this.popup.addEntry("Print");
  153.       }
  154.  
  155.       this.popuppanel = new JDPPopupMessage(var1, var2);
  156.       ((Container)var2).add(this.popuppanel);
  157.       this.Main = new Panel();
  158.       this.HTMLPanel1 = new JDPBrowser();
  159.       this.HTMLPanel1.InitClass(var1, var2, var3);
  160.       String[] var5 = new String[]{"Back", "Forward"};
  161.       int[] var6 = new int[]{6, 5};
  162.       this.btns = new JDPButtons(var1, var5, var6, JDPButtons.HORIZONTAL);
  163.       this.Main.setLayout(new BorderLayout());
  164.       this.Main.setFont(new Font("Helvetica", 0, 11));
  165.       this.Main.setForeground(var1.u._cvtcolor("Black"));
  166.       ((Container)this).add("Center", this.Main);
  167.       Panel var7 = new Panel();
  168.       ((Container)var7).setLayout(new BorderLayout());
  169.       ((Container)var7).add(this.popup);
  170.       ((Container)var7).add("Center", this.HTMLPanel1);
  171.       this.Main.add("Center", var7);
  172.       this.Main.add("South", this.btns);
  173.       this.HTMLPanel1.setFont(new Font("TimesRoman", 0, 12));
  174.       this.popuppanel.addComponent(this.btns.button[0], "Back", "Load the previous document");
  175.       this.popuppanel.addComponent(this.btns.button[1], "Forward", "Load the previous forward document");
  176.       var1.gParm.addElement(this);
  177.    }
  178. }
  179.