1 2 25 26 package org.aspectj.ajde.ui.swing; 27 28 import javax.swing.*; 29 import java.util.*; 30 import org.aspectj.asm.*; 31 import org.aspectj.ajde.*; 32 import org.aspectj.ajde.ui.*; 33 import java.awt.*; 34 35 38 public class MultiStructureViewPanel extends JPanel { 39 JSplitPane views_splitPane; 40 BorderLayout borderLayout1 = new BorderLayout(); 41 42 public MultiStructureViewPanel(StructureViewPanel topPanel, StructureViewPanel bottomPanel) { 43 super(); 44 try { 45 views_splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topPanel, bottomPanel); 46 jbInit(); 47 } catch(Exception e) { 48 Ajde.getDefault().getErrorHandler().handleError("Could not initialize GUI.", e); 49 } 50 } 51 52 private void jbInit() throws Exception { 53 this.setLayout(borderLayout1); 54 this.add(views_splitPane, BorderLayout.CENTER); 55 views_splitPane.setDividerSize(4); 56 views_splitPane.setDividerLocation(300); 57 } 58 59 } 60 | Popular Tags |