public AllProperties() {
   super("Properties", true, false, true, true);
   Container contentPane = getContentPane();
   contentPane.setLayout(new GridLayout(2, 1, 10, 10));
   contentPane.add(new PropertyPanel("System Properties", System.getProperties()));
   contentPane.add(new PropertyPanel("Aleph Properties", Aleph.getProperties()));
   setPreferredSize(preferred);
   setBounds(0, 0, preferred.width, preferred.height);
 }
Example #2
0
 public void run() {
   if (!Aleph.isBatch() && Aleph.getPopup())
     JOptionPane.showMessageDialog(null, string, "Error from " + pe, JOptionPane.ERROR_MESSAGE);
   else System.err.println("Error from " + pe + ": " + string);
 }