private void _applyFontStyleForSelection(Font font) {
StyledDocument doc = mTextEditor.getStyledDocument();
MutableAttributeSet attrs = mTextEditor.getInputAttributes();
StyleConstants.setFontFamily(attrs, font.getFamily());
StyleConstants.setFontSize(attrs, font.getSize());
StyleConstants.setBold(attrs, ((font.getStyle() & Font.BOLD) != 0));
StyleConstants.setItalic(attrs, ((font.getStyle() & Font.ITALIC) != 0));
StyleConstants.setUnderline(attrs, ((font.getStyle() & Font.CENTER_BASELINE) != 0));
int start = mTextEditor.getSelectionStart();
int end = mTextEditor.getSelectionEnd();
doc.setCharacterAttributes(start, (end - start), attrs, false);
}
void editorPane_keyPressed(KeyEvent e) {
StyledDocument doc = editorPane.getStyledDocument();
int pos = editorPane.getCaretPosition();
int code = e.getKeyCode();
Element el;
switch (code) {
case KeyEvent.VK_BACK_SPACE:
case KeyEvent.VK_DELETE:
case KeyEvent.VK_LEFT:
case KeyEvent.VK_KP_LEFT:
if (pos == 0) return;
// we want to get the element to the left of position.
el = doc.getCharacterElement(pos - 1);
break;
case KeyEvent.VK_RIGHT:
case KeyEvent.VK_KP_RIGHT:
// we want to get the element to the right of position.
el = doc.getCharacterElement(pos + 1);
break;
default:
return; // bail we don't handle it.
}
AttributeSet attr = el.getAttributes();
String el_name = (String) attr.getAttribute(StyleConstants.NameAttribute);
int el_range = el.getEndOffset() - el.getStartOffset() - 1;
if (el_name.startsWith("Parameter") && StyleConstants.getComponent(attr) != null) {
try {
switch (code) {
case KeyEvent.VK_BACK_SPACE:
case KeyEvent.VK_DELETE:
doc.remove(el.getStartOffset(), el_range);
break;
case KeyEvent.VK_LEFT:
case KeyEvent.VK_KP_LEFT:
editorPane.setCaretPosition(pos - el_range);
break;
case KeyEvent.VK_RIGHT:
case KeyEvent.VK_KP_RIGHT:
editorPane.setCaretPosition(pos + (el_range));
break;
}
} catch (BadLocationException ex) {
}
}
}
/**
* 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();
}
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);
}