private JPanel createCentrePanel(YDataStateException exception) {
JPanel centrePanel = new JPanel(new GridLayout(1, 2));
JPanel msgPanel = new JPanel(new BorderLayout());
msgPanel.setBackground(YAdminGUI._apiColour);
msgPanel.setBorder(
BorderFactory.createCompoundBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), "Schema for completing task"),
BorderFactory.createEmptyBorder(10, 10, 10, 10)));
JTextPane msgTextPane = new JTextPane();
msgTextPane.setContentType("text/plain");
msgTextPane.setFont(new Font("courier", Font.PLAIN, 12));
msgTextPane.setForeground(Color.RED);
msgTextPane.setText(exception.getMessage());
msgTextPane.setEditable(false);
msgTextPane.setBackground(Color.LIGHT_GRAY);
JPanel noWrapPanel = new JPanel();
noWrapPanel.setLayout(new BorderLayout());
noWrapPanel.add(msgTextPane);
msgPanel.add(new JScrollPane(noWrapPanel));
centrePanel.add(msgPanel, BorderLayout.NORTH);
return centrePanel;
}
public Container CreateContentPane() {
// Create the content-pane-to-be.
JPanel contentPane = new JPanel(new BorderLayout());
contentPane.setOpaque(true);
// the log panel
log = new JTextPane();
log.setEditable(false);
log.setBackground(Color.BLACK);
logPane = new JScrollPane(log);
kit = new HTMLEditorKit();
doc = new HTMLDocument();
log.setEditorKit(kit);
log.setDocument(doc);
DefaultCaret c = (DefaultCaret) log.getCaret();
c.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
ClearLog();
// the preview panel
previewPane = new DrawPanel();
previewPane.setPaperSize(paper_top, paper_bottom, paper_left, paper_right);
// status bar
statusBar = new StatusBar();
Font f = statusBar.getFont();
statusBar.setFont(f.deriveFont(Font.BOLD, 15));
Dimension d = statusBar.getMinimumSize();
d.setSize(d.getWidth(), d.getHeight() + 30);
statusBar.setMinimumSize(d);
// layout
Splitter split = new Splitter(JSplitPane.VERTICAL_SPLIT);
split.add(previewPane);
split.add(logPane);
split.setDividerSize(8);
contentPane.add(statusBar, BorderLayout.SOUTH);
contentPane.add(split, BorderLayout.CENTER);
// open the file
if (recentFiles[0].length() > 0) {
OpenFileOnDemand(recentFiles[0]);
}
// connect to the last port
ListSerialPorts();
if (Arrays.asList(portsDetected).contains(recentPort)) {
OpenPort(recentPort);
}
return contentPane;
}
/**
* Sets the reason of a call failure if one occurs. The renderer should display this reason to the
* user.
*
* @param reason the reason to display
*/
public void setErrorReason(final String reason) {
if (!SwingUtilities.isEventDispatchThread()) {
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
setErrorReason(reason);
}
});
return;
}
if (errorMessageComponent == null) {
errorMessageComponent = new JTextPane();
JTextPane textPane = (JTextPane) errorMessageComponent;
textPane.setEditable(false);
textPane.setOpaque(false);
StyledDocument doc = textPane.getStyledDocument();
MutableAttributeSet standard = new SimpleAttributeSet();
StyleConstants.setAlignment(standard, StyleConstants.ALIGN_CENTER);
StyleConstants.setFontFamily(standard, textPane.getFont().getFamily());
StyleConstants.setFontSize(standard, 12);
doc.setParagraphAttributes(0, 0, standard, true);
GridBagConstraints constraints = new GridBagConstraints();
constraints.fill = GridBagConstraints.HORIZONTAL;
constraints.gridx = 0;
constraints.gridy = 4;
constraints.weightx = 1;
constraints.weighty = 0;
constraints.insets = new Insets(5, 0, 0, 0);
add(errorMessageComponent, constraints);
this.revalidate();
}
errorMessageComponent.setText(reason);
if (isVisible()) errorMessageComponent.repaint();
}
protected void buildErrorPanel() {
errorPanel = new JPanel();
GroupLayout layout = new GroupLayout(errorPanel);
layout.setAutoCreateGaps(true);
layout.setAutoCreateContainerGaps(true);
errorPanel.setLayout(layout);
// errorPanel.setBorder(BorderFactory.createMatteBorder(2, 0, 0, 0, Color.BLACK));
errorMessage = new JTextPane();
errorMessage.setEditable(false);
errorMessage.setContentType("text/html");
errorMessage.setText(
"<html><body>Could not connect to the Processing server.<br>"
+ "Contributions cannot be installed or updated without an Internet connection.<br>"
+ "Please verify your network connection again, then try connecting again.</body></html>");
errorMessage.setFont(Toolkit.getSansFont(14, Font.PLAIN));
errorMessage.setMaximumSize(new Dimension(550, 50));
errorMessage.setOpaque(false);
StyledDocument doc = errorMessage.getStyledDocument();
SimpleAttributeSet center = new SimpleAttributeSet();
StyleConstants.setAlignment(center, StyleConstants.ALIGN_CENTER);
doc.setParagraphAttributes(0, doc.getLength(), center, false);
closeButton = new JButton("X");
closeButton.setContentAreaFilled(false);
closeButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
contribDialog.makeAndShowTab(false, false);
}
});
tryAgainButton = new JButton("Try Again");
tryAgainButton.setFont(Toolkit.getSansFont(14, Font.PLAIN));
tryAgainButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
contribDialog.makeAndShowTab(false, true);
contribDialog.downloadAndUpdateContributionListing(editor.getBase());
}
});
layout.setHorizontalGroup(
layout
.createSequentialGroup()
.addPreferredGap(
LayoutStyle.ComponentPlacement.RELATED, GroupLayout.PREFERRED_SIZE, Short.MAX_VALUE)
.addGroup(
layout
.createParallelGroup(GroupLayout.Alignment.CENTER)
.addComponent(errorMessage)
.addComponent(
tryAgainButton,
StatusPanel.BUTTON_WIDTH,
StatusPanel.BUTTON_WIDTH,
StatusPanel.BUTTON_WIDTH))
.addPreferredGap(
LayoutStyle.ComponentPlacement.RELATED, GroupLayout.PREFERRED_SIZE, Short.MAX_VALUE)
.addComponent(closeButton));
layout.setVerticalGroup(
layout
.createSequentialGroup()
.addGroup(
layout.createParallelGroup().addComponent(errorMessage).addComponent(closeButton))
.addPreferredGap(LayoutStyle.ComponentPlacement.UNRELATED)
.addComponent(tryAgainButton));
errorPanel.setBackground(Color.PINK);
errorPanel.validate();
}
/**
* Creates an instance of <tt>ShowPreviewDialog</tt>
*
* @param chatPanel The <tt>ChatConversationPanel</tt> that is associated with this dialog.
*/
ShowPreviewDialog(final ChatConversationPanel chatPanel) {
this.chatPanel = chatPanel;
this.setTitle(
GuiActivator.getResources().getI18NString("service.gui.SHOW_PREVIEW_DIALOG_TITLE"));
okButton = new JButton(GuiActivator.getResources().getI18NString("service.gui.OK"));
cancelButton = new JButton(GuiActivator.getResources().getI18NString("service.gui.CANCEL"));
JPanel mainPanel = new TransparentPanel();
mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.Y_AXIS));
mainPanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
// mainPanel.setPreferredSize(new Dimension(200, 150));
this.getContentPane().add(mainPanel);
JTextPane descriptionMsg = new JTextPane();
descriptionMsg.setEditable(false);
descriptionMsg.setOpaque(false);
descriptionMsg.setText(
GuiActivator.getResources().getI18NString("service.gui.SHOW_PREVIEW_WARNING_DESCRIPTION"));
Icon warningIcon = null;
try {
warningIcon =
new ImageIcon(
ImageIO.read(
GuiActivator.getResources().getImageURL("service.gui.icons.WARNING_ICON")));
} catch (IOException e) {
logger.debug("failed to load the warning icon");
}
JLabel warningSign = new JLabel(warningIcon);
JPanel warningPanel = new TransparentPanel();
warningPanel.setLayout(new BoxLayout(warningPanel, BoxLayout.X_AXIS));
warningPanel.add(warningSign);
warningPanel.add(Box.createHorizontalStrut(10));
warningPanel.add(descriptionMsg);
enableReplacement =
new JCheckBox(
GuiActivator.getResources()
.getI18NString("plugin.chatconfig.replacement.ENABLE_REPLACEMENT_STATUS"));
enableReplacement.setOpaque(false);
enableReplacement.setSelected(cfg.getBoolean(ReplacementProperty.REPLACEMENT_ENABLE, true));
enableReplacementProposal =
new JCheckBox(
GuiActivator.getResources()
.getI18NString("plugin.chatconfig.replacement.ENABLE_REPLACEMENT_PROPOSAL"));
enableReplacementProposal.setOpaque(false);
JPanel checkBoxPanel = new TransparentPanel();
checkBoxPanel.setLayout(new BoxLayout(checkBoxPanel, BoxLayout.Y_AXIS));
checkBoxPanel.add(enableReplacement);
checkBoxPanel.add(enableReplacementProposal);
JPanel buttonsPanel = new TransparentPanel(new FlowLayout(FlowLayout.CENTER));
buttonsPanel.add(okButton);
buttonsPanel.add(cancelButton);
mainPanel.add(warningPanel);
mainPanel.add(Box.createVerticalStrut(10));
mainPanel.add(checkBoxPanel);
mainPanel.add(buttonsPanel);
okButton.addActionListener(this);
cancelButton.addActionListener(this);
this.setPreferredSize(new Dimension(390, 230));
}
private JTextPane makeTextPane(boolean editable) {
document = new DefaultStyledDocument();
JTextPane ta = new JTextPane(document);
ta.setEditable(editable);
return ta;
}
/**
* Inizialize frame components
*
* @throws CMSException
* @throws FileNotFoundException
* @throws IOException
* @throws GeneralSecurityException
*/
private void initComponents()
throws CMSException, FileNotFoundException, IOException, GeneralSecurityException {
// *********************************
panel4 = new JPanel();
label2 = new JLabel();
textPane1 = new JTextPane();
panel5 = new JPanel();
textArea1 = new JTextArea();
textArea2 = new JTextArea();
progressBar = new JProgressBar();
textPane2 = new JTextPane();
textField1 = new JTextField();
button1 = new JButton();
panel6 = new JPanel();
button2 = new JButton();
button3 = new JButton();
button4 = new JButton();
GridBagConstraints gbc;
// ======== this ========
Container contentPane = getContentPane();
contentPane.setLayout(new GridBagLayout());
((GridBagLayout) contentPane.getLayout()).columnWidths = new int[] {165, 0, 0};
((GridBagLayout) contentPane.getLayout()).rowHeights = new int[] {105, 50, 0};
((GridBagLayout) contentPane.getLayout()).columnWeights = new double[] {0.0, 1.0, 1.0E-4};
((GridBagLayout) contentPane.getLayout()).rowWeights = new double[] {1.0, 0.0, 1.0E-4};
// ======== panel4 ========
{
panel4.setBackground(Color.white);
panel4.setLayout(new GridBagLayout());
((GridBagLayout) panel4.getLayout()).columnWidths = new int[] {160, 0};
((GridBagLayout) panel4.getLayout()).rowHeights = new int[] {0, 0, 0};
((GridBagLayout) panel4.getLayout()).columnWeights = new double[] {0.0, 1.0E-4};
((GridBagLayout) panel4.getLayout()).rowWeights = new double[] {1.0, 1.0, 1.0E-4};
// ---- label2 ----
label2.setIcon(
new ImageIcon(
"images" + System.getProperty("file.separator") + "logo-freesigner-piccolo.png"));
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 0;
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.insets.bottom = 5;
panel4.add(label2, gbc);
// ---- textPane1 ----
textPane1.setFont(new Font("Verdana", Font.BOLD, 12));
textPane1.setText("Lettura\ncertificati\nda token");
textPane1.setEditable(false);
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 1;
gbc.anchor = GridBagConstraints.NORTHWEST;
panel4.add(textPane1, gbc);
}
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 0;
gbc.fill = GridBagConstraints.BOTH;
gbc.insets.bottom = 5;
gbc.insets.right = 5;
contentPane.add(panel4, gbc);
// ======== panel5 ========
{
panel5.setBackground(Color.white);
panel5.setLayout(new GridBagLayout());
((GridBagLayout) panel5.getLayout()).columnWidths = new int[] {0, 205, 0, 0};
((GridBagLayout) panel5.getLayout()).rowHeights = new int[] {100, 0, 30, 30, 0};
((GridBagLayout) panel5.getLayout()).columnWeights = new double[] {1.0, 0.0, 1.0, 1.0E-4};
((GridBagLayout) panel5.getLayout()).rowWeights = new double[] {0.0, 0.0, 1.0, 1.0, 1.0E-4};
// ---- textArea1 ----
textArea1.setFont(new Font("Verdana", Font.BOLD, 14));
textArea1.setText("Lettura certificati da token");
textArea1.setEditable(false);
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 0;
gbc.gridwidth = 3;
gbc.fill = GridBagConstraints.VERTICAL;
gbc.insets.bottom = 5;
panel5.add(textArea1, gbc);
// ---- textArea2 ----
textArea2.setFont(new Font("Verdana", Font.PLAIN, 12));
textArea2.setText("Ricerca certificati...\n");
textArea2.setEditable(false);
textArea2.setColumns(30);
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 1;
gbc.gridwidth = 3;
gbc.fill = GridBagConstraints.BOTH;
panel5.add(textArea2, gbc);
progressBar.setValue(0);
progressBar.setMaximum(1);
progressBar.setStringPainted(true);
progressBar.setBounds(0, 0, 300, 150);
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 2;
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.insets.bottom = 5;
gbc.insets.right = 5;
gbc.gridwidth = 3;
panel5.add(progressBar, gbc);
}
gbc = new GridBagConstraints();
gbc.gridx = 1;
gbc.gridy = 0;
gbc.fill = GridBagConstraints.BOTH;
gbc.insets.bottom = 5;
contentPane.add(panel5, gbc);
// ======== panel6 ========
{
panel6.setBackground(Color.white);
panel6.setLayout(new GridBagLayout());
((GridBagLayout) panel6.getLayout()).columnWidths = new int[] {0, 0, 0, 0};
((GridBagLayout) panel6.getLayout()).rowHeights = new int[] {0, 0};
((GridBagLayout) panel6.getLayout()).columnWeights = new double[] {1.0, 1.0, 1.0, 1.0E-4};
((GridBagLayout) panel6.getLayout()).rowWeights = new double[] {1.0, 1.0E-4};
// ---- button2 ----
button2.setText("Indietro");
gbc = new GridBagConstraints();
gbc.gridx = 0;
gbc.gridy = 0;
gbc.insets.right = 5;
button2.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
frame.hide();
FreeSignerSignApplet nuovo = new FreeSignerSignApplet();
}
});
// panel6.add(button2, gbc);
// ---- button4 ----
button4.setText("Annulla");
gbc = new GridBagConstraints();
gbc.gridx = 2;
gbc.gridy = 0;
// panel6.add(button4, gbc);
}
gbc = new GridBagConstraints();
gbc.gridx = 1;
gbc.gridy = 1;
gbc.fill = GridBagConstraints.BOTH;
contentPane.add(panel6, gbc);
contentPane.setBackground(Color.white);
frame = new JFrame();
frame.setContentPane(contentPane);
frame.setTitle("Freesigner");
frame.setSize(300, 150);
frame.setResizable(false);
frame.pack();
Dimension d = Toolkit.getDefaultToolkit().getScreenSize();
frame.setLocation((d.width - frame.getWidth()) / 2, (d.height - frame.getHeight()) / 2);
frame.addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent e) {
System.exit(0);
}
});
timer =
new Timer(
10,
new ActionListener() {
public void actionPerformed(ActionEvent evt) {
frame.show();
if (task.getMessage() != null) {
String s = new String();
s = task.getMessage();
s = s.substring(0, Math.min(60, s.length()));
textArea2.setText(s + " ");
progressBar.setValue(task.getStatus());
}
if (task.isDone()) {
timer.stop();
// Finalizzo la cryptoki, onde evitare
// successivi errori PKCS11 "cryptoki alreadi initialized"
if ((task != null)) task.libFinalize();
ArrayList slotInfos = task.getSlotInfos();
if ((slotInfos == null) || slotInfos.isEmpty()) {
frame.show();
JOptionPane.showMessageDialog(
frame,
"Controllare la presenza sul sistema\n"
+ "della libreria PKCS11 impostata.",
"Nessun lettore rilevato",
JOptionPane.WARNING_MESSAGE);
frame.hide();
} else {
String st = task.getCRLerror();
if (st.length() > 0) {
timer.stop();
JOptionPane.showMessageDialog(
frame,
"C'è stato un errore nella verifica CRL.\n" + st,
"Errore verifica CRL",
JOptionPane.ERROR_MESSAGE);
frame.hide();
FreeSignerSignApplet nuovo = new FreeSignerSignApplet();
}
if (task.getDifferentCerts() == 0) {
if (task.getCIr() != null) {
JOptionPane.showMessageDialog(
frame,
"La carta "
+ task.getCardDescription()
+ " nel lettore "
+ conf.getReader()
+ " non contiene certificati",
"Attenzione",
JOptionPane.WARNING_MESSAGE);
} else
JOptionPane.showMessageDialog(
frame, task.getMessage(), "Errore:", JOptionPane.ERROR_MESSAGE);
}
frame.hide();
// confFrame.createTreeAndTokenNodes(task.getSlotInfos());
}
}
}
});
}
private JPanel createCentrePanel(YDataStateException exception) {
XMLOutputter xmlOut = new XMLOutputter(Format.getPrettyFormat());
JPanel centrePanel = new JPanel(new GridLayout(1, 2));
JPanel schemaPanel = new JPanel(new BorderLayout());
schemaPanel.setBackground(YAdminGUI._apiColour);
schemaPanel.setBorder(
BorderFactory.createCompoundBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), "Schema for completing task"),
BorderFactory.createEmptyBorder(10, 10, 10, 10)));
JTextPane schemaTextPane = new JTextPane();
schemaTextPane.setContentType("text/xml");
schemaTextPane.setFont(new Font("courier", Font.PLAIN, 12));
String schemaXML = xmlOut.outputString(exception.getSchema());
/** AJH: Trap various XML format errors gracefully. */
try {
String xml =
schemaXML.substring(schemaXML.indexOf('<'), schemaXML.lastIndexOf("</xsd:schema>") + 13);
schemaTextPane.setText(xml);
} catch (Exception e) {
schemaTextPane.setText(schemaXML);
}
schemaTextPane.setEditable(false);
schemaTextPane.setBackground(Color.LIGHT_GRAY);
JPanel noWrapPanel = new JPanel();
noWrapPanel.setLayout(new BorderLayout());
noWrapPanel.add(schemaTextPane);
schemaPanel.add(new JScrollPane(noWrapPanel));
JPanel rightPanel = new JPanel(new GridLayout(2, 1));
JPanel dataPanel = new JPanel(new BorderLayout());
dataPanel.setBackground(YAdminGUI._apiColour);
dataPanel.setBorder(
BorderFactory.createCompoundBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), "The data that failed to validate"),
BorderFactory.createEmptyBorder(10, 10, 10, 10)));
JTextPane dataTextPane = new JTextPane();
dataTextPane.setContentType("text/xml");
dataTextPane.setFont(new Font("courier", Font.PLAIN, 12));
String data = xmlOut.outputString(exception.get_dataInput());
/** AJH: Trap various XML format errors gracefully. */
try {
String temp = data.substring(data.lastIndexOf("<?xml"), data.lastIndexOf('>'));
dataTextPane.setText(temp);
} catch (Exception e) {
dataTextPane.setText(data);
}
dataTextPane.setEditable(false);
dataTextPane.setBackground(Color.LIGHT_GRAY);
JPanel noWrapPanel2 = new JPanel();
noWrapPanel2.setLayout(new BorderLayout());
noWrapPanel2.add(dataTextPane);
dataPanel.add(new JScrollPane(noWrapPanel2));
JPanel errorPanel = new JPanel(new BorderLayout());
errorPanel.setBackground(YAdminGUI._apiColour);
errorPanel.setBorder(
BorderFactory.createCompoundBorder(
BorderFactory.createTitledBorder(
BorderFactory.createEtchedBorder(), "The error message from validation engine"),
BorderFactory.createEmptyBorder(10, 10, 10, 10)));
JTextPane errorTextPane = new JTextPane();
errorTextPane.setContentType("text/plain");
errorTextPane.setFont(new Font("courier", Font.PLAIN, 12));
/** AJH: Trap various XML format errors gracefully. */
try {
String error = schemaXML.substring(schemaXML.lastIndexOf("ERRORS ="), schemaXML.length());
errorTextPane.setText(error);
} catch (Exception e) {
// null action !
}
errorTextPane.setText(exception.getErrors());
errorTextPane.setEditable(false);
errorTextPane.setBackground(Color.LIGHT_GRAY);
JPanel noWrapPanel3 = new JPanel();
noWrapPanel3.setLayout(new BorderLayout());
noWrapPanel3.add(errorTextPane);
errorPanel.add(new JScrollPane(noWrapPanel3));
rightPanel.add(dataPanel);
rightPanel.add(errorPanel);
centrePanel.add(schemaPanel, BorderLayout.NORTH);
centrePanel.add(rightPanel, BorderLayout.CENTER);
return centrePanel;
}
public static void main(String[] args) {
// Main
frame = new JFrame("Java Playground");
frame.setSize(640, 480);
// Make sure the divider is properly resized
frame.addComponentListener(
new ComponentAdapter() {
public void componentResized(ComponentEvent c) {
splitter.setDividerLocation(defaultSliderPosition);
}
});
// Make sure the JVM is reset on close
frame.addWindowListener(
new WindowAdapter() {
public void windowClosed(WindowEvent w) {
new FrameAction().kill();
}
});
// Setting up the keybinding
// Ctrl+r or Cmd+r -> compile/run
bind(KeyEvent.VK_R);
// Ctrl+k or Cmd+k -> kill JVM
bind(KeyEvent.VK_K);
// Ctrl+e or Cmd+e -> console
bind(KeyEvent.VK_E);
// Save, New file, Open file, Print.
// Currently UNUSED until I figure out how normal java files and playground files will
// interface.
bind(KeyEvent.VK_S);
bind(KeyEvent.VK_N);
bind(KeyEvent.VK_O); // Rebound to options menu for now
bind(KeyEvent.VK_P);
// Ctrl+h or Cmd+h -> help menu
bind(KeyEvent.VK_SLASH);
// Binds the keys to the action defined in the FrameAction class.
frame.getRootPane().getActionMap().put("console", new FrameAction());
// The main panel for typing code in.
text = new JTextPane();
textScroll = new JScrollPane(text);
textScroll.setBorder(null);
textScroll.setPreferredSize(new Dimension(640, 480));
// Document with syntax highlighting. Currently unfinished.
doc = text.getStyledDocument();
doc.addDocumentListener(
new DocumentListener() {
public void changedUpdate(DocumentEvent d) {}
public void insertUpdate(DocumentEvent d) {}
public void removeUpdate(DocumentEvent d) {}
});
((AbstractDocument) doc).setDocumentFilter(new NewLineFilter());
// The output log; a combination compiler warning/error/runtime error/output log.
outputText = new JTextPane();
outputScroll = new JScrollPane(outputText);
outputScroll.setBorder(null);
// "Constant" for the error font
error = new SimpleAttributeSet();
error.addAttribute(StyleConstants.CharacterConstants.Italic, Boolean.TRUE);
error.addAttribute(StyleConstants.Foreground, Color.RED);
// "Constant" for the warning message font
warning = new SimpleAttributeSet();
warning.addAttribute(StyleConstants.CharacterConstants.Italic, Boolean.TRUE);
warning.addAttribute(StyleConstants.Foreground, Color.PINK);
// "Constant" for the debugger error font
progErr = new SimpleAttributeSet();
progErr.addAttribute(StyleConstants.Foreground, Color.BLUE);
// Print streams to redirect System.out and System.err.
out = new TextOutputStream(outputText, null);
err = new TextOutputStream(outputText, error);
System.setOut(new PrintStream(out));
System.setErr(new PrintStream(err));
// Sets up the output log
outputText.setEditable(false);
outputScroll.setVisible(true);
// File input/output setup
chooser = new JFileChooser();
// Setting up miscellaneous stuff
compiler = ToolProvider.getSystemJavaCompiler();
JVMrunning = false;
redirectErr = null;
redirectOut = null;
redirectIn = null;
// Options initial values
defaultSliderPosition = .8;
// Sets up the splitter pane and opens the program up
splitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT, textScroll, outputScroll);
consoleDisplayed = false;
splitter.remove(outputScroll); // Initially hides terminal until it is needed
splitter.setOneTouchExpandable(true);
frame.add(splitter);
frame.setVisible(true);
// Sets the divider to the proper one, for debugging
// splitter.setDividerLocation(.8);
}
