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);
}
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);
}