public ConsolePanel() {
super(new BorderLayout());
text.setFont(StyleContext.getDefaultStyleContext().getFont("SansSerif", Font.PLAIN, 10));
JScrollPane scroller = new JScrollPane(text);
scroller.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
add(BorderLayout.CENTER, scroller);
}
/**
* Appends a message sent by the system
*
* @param text The message to append
* @param colour The colour of the player, <code>null</code> if none
*/
private void addSystemText(final String text, final Color colour) {
StyleContext style = StyleContext.getDefaultStyleContext();
AttributeSet attrs;
final int pos0 = getDocument().getLength();
final int pos1 = pos0 + (text + "\n").length();
this.setEditable(true);
attrs =
style.addAttribute(
SimpleAttributeSet.EMPTY,
StyleConstants.Foreground,
colour == null ? Color.GRAY : colour);
attrs = style.addAttribute(attrs, StyleConstants.Italic, Boolean.TRUE);
this.setSelectionStart(pos0);
this.setSelectionEnd(pos0);
this.replaceSelection(text + "\n"); // Prints the system's message
this.setSelectionStart(pos0);
this.setSelectionEnd(pos1);
this.setCharacterAttributes(attrs, true);
this.setSelectionStart(pos1);
this.setSelectionEnd(pos1);
this.setEditable(false);
}
public void append(Color c, String s) {
StyleContext sc = StyleContext.getDefaultStyleContext();
AttributeSet aset = sc.addAttribute(SimpleAttributeSet.EMPTY, StyleConstants.Foreground, c);
int len = getDocument().getLength();
setCaretPosition(len);
setCharacterAttributes(aset, false);
replaceSelection(s);
}
public void appendToPane(String msg, Color c) {
if (inputText.isEnabled()) {
StyleContext sc = StyleContext.getDefaultStyleContext();
AttributeSet aset = sc.addAttribute(SimpleAttributeSet.EMPTY, StyleConstants.Foreground, c);
textArea.setCharacterAttributes(aset, false);
textArea.replaceSelection(msg);
textArea.setCaretPosition(textArea.getDocument().getLength());
}
}
private void initializeStyles() {
errorStyle =
doc.addStyle(
"errorStyle",
StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE));
errorStyleRed = doc.addStyle("errorStyleRed", errorStyle);
StyleConstants.setForeground(errorStyleRed, Color.RED);
errorStyleMono = doc.addStyle("errorStyleMono", errorStyle);
StyleConstants.setFontFamily(errorStyleMono, "Monospaced");
}
protected void addStylesToDocument(final StyledDocument doc) {
// Initialize some styles.
final Style def = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
final Style regular = doc.addStyle("regular", def);
StyleConstants.setFontFamily(def, "SansSerif");
Style s = doc.addStyle("entailment", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.blue);
s = doc.addStyle("color_blue", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.BLUE);
s = doc.addStyle("color_red", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.RED);
s = doc.addStyle("color_green", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.GREEN);
s = doc.addStyle("color_cyan", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.CYAN);
s = doc.addStyle("color_dark_gray", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.DARK_GRAY);
s = doc.addStyle("color_pink", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.PINK);
s = doc.addStyle("color_yellow", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.YELLOW);
s = doc.addStyle("color_magenta", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.MAGENTA);
s = doc.addStyle("color_orange", regular);
StyleConstants.setBold(s, true);
StyleConstants.setForeground(s, Color.ORANGE);
s = doc.addStyle("unknown", regular);
StyleConstants.setBold(s, true);
StyleConstants.setUnderline(s, true);
s = doc.addStyle("system", regular);
StyleConstants.setBold(s, true);
}
private void loadStyles(StyledDocument doc) {
Style def = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
StyleConstants.setFontFamily(def, "Courier New");
// Add normal style
Style normal = doc.addStyle("normal", def);
StyleConstants.setForeground(def, Color.LIGHT_GRAY);
// Add highlighted style from normal
Style red = doc.addStyle("red", normal);
StyleConstants.setForeground(red, Color.RED);
}
/**
* Add the provided text with the provided color to the GUI document
*
* @param text The text that will be added
* @param color The color used to show the text
*/
public void print(String text, Color color) {
StyleContext sc = StyleContext.getDefaultStyleContext();
AttributeSet aset = sc.addAttribute(SimpleAttributeSet.EMPTY, StyleConstants.Foreground, color);
int len = logPane.getDocument().getLength();
try {
logPane.setCaretPosition(len);
logPane.getDocument().insertString(len, text + "\n", aset);
} catch (BadLocationException e) {
LoggerFactory.getLogger(ProcessUIPanel.class).error("Cannot show the log message", e);
}
logPane.setCaretPosition(logPane.getDocument().getLength());
}
void finishInit() {
// Create 3 styles associated with the text panes
Style def = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
StyleConstants.setFontFamily(def, "SansSerif");
Style regular0 = jTextPane.addStyle("regular", def);
Style regular1 = commentPane.addStyle("regular", def);
Style s0 = jTextPane.addStyle("old", regular0);
Style s1 = commentPane.addStyle("old", regular1);
StyleConstants.setBackground(s0, Color.yellow);
StyleConstants.setBackground(s1, Color.yellow);
s0 = jTextPane.addStyle("new", regular0);
StyleConstants.setBackground(s0, Color.pink);
s1 = commentPane.addStyle("new", regular1);
StyleConstants.setBackground(s1, Color.pink);
}
/**
* Appends a message sent by a player
*
* @param text The message to append
* @param name The player whom sent the message
* @param colour The colour of the player
*/
private void addUserText(final String text, final String name, final Color colour) {
StyleContext style = StyleContext.getDefaultStyleContext();
AttributeSet attrs;
attrs =
style.addAttribute(
SimpleAttributeSet.EMPTY,
StyleConstants.Foreground,
colour); // Switching to player name style
attrs = style.addAttribute(attrs, StyleConstants.Bold, Boolean.TRUE);
final int pos0 = getDocument().getLength();
final int pos1 = pos0 + (name + ": ").length();
final int pos2 = pos1 + (text + "\n").length();
this.setEditable(true);
this.setSelectionStart(pos0);
this.setSelectionEnd(pos0);
this.replaceSelection(name + ": "); // Prints the player's name
this.setSelectionStart(pos0);
this.setSelectionEnd(pos1);
this.setCharacterAttributes(attrs, true);
attrs =
style.addAttribute(
SimpleAttributeSet.EMPTY,
StyleConstants.Foreground,
Color.WHITE); // Switing to message style
this.setSelectionStart(pos1);
this.setSelectionEnd(pos1);
this.replaceSelection(text + "\n"); // Prints the player's message
this.setSelectionStart(pos1);
this.setSelectionEnd(pos2);
this.setCharacterAttributes(attrs, true);
this.setSelectionStart(pos2);
this.setSelectionEnd(pos2);
this.setEditable(false);
}
public StyleManager(
SettingsManager settings_manager, DisplayManager display_manager, I18nManager i18n_manager) {
this.settings_manager = settings_manager;
this.display_manager = display_manager;
this.i18n_manager = i18n_manager;
Vector v = new Vector();
style_names = new String[0];
base_style = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
StyleConstants.setFontFamily(
base_style, settings_manager.getString("/gui/text windows/font face", "Lucida Console"));
StyleConstants.setFontSize(
base_style, settings_manager.getInt("/gui/text windows/font size", 14));
// Read in more styles based on highlight settings.
int i = 0;
String i_str;
String format;
while (GOD_IS_GOOD) {
i_str = Integer.toString(i);
format =
settings_manager.getString("/gui/text windows/highlighting/" + i_str + "/format", "");
if (format.equals("")) {
// No more highlight rules specified.
break;
}
v.add(format);
i++;
}
style_names = (String[]) v.toArray(style_names);
}
@Override
public void actionPerformed(ActionEvent e) {
licence_text =
new String(
"This program is free software: you can redistribute it and/or modify\n"
+ "it under the terms of the GNU General Public License as published by\n"
+ "the Free Software Foundation, either version 3 of the License, or\n"
+ "(at your option) any later version.\n"
+ "\n"
+ "This program is distributed in the hope that it will be useful,\n"
+ "but WITHOUT ANY WARRANTY; without even the implied warranty of\n"
+ "MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n"
+ "GNU General Public License for more details.\n"
+ "\n"
+ "You should have received a copy of the GNU General Public License\n"
+ "along with this program. If not, see <http://www.gnu.org/licenses/>.\n"
+ "\n\n\n");
try {
InputStream ips = new FileInputStream(getClass().getResource("COPYING").getPath());
InputStreamReader ipsr = new InputStreamReader(ips);
BufferedReader br = new BufferedReader(ipsr);
String line;
while ((line = br.readLine()) != null) {
licence_text += line + '\n';
}
br.close();
} catch (Exception e1) {
}
Dimension dimension = new Dimension(600, 400);
JDialog licence = new JDialog(memento, "Licence");
JTextPane text_pane = new JTextPane();
text_pane.setEditable(false);
text_pane.setPreferredSize(dimension);
text_pane.setSize(dimension);
StyledDocument doc = text_pane.getStyledDocument();
Style justified =
doc.addStyle(
"justified",
StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE));
StyleConstants.setAlignment(justified, StyleConstants.ALIGN_JUSTIFIED);
try {
doc.insertString(0, licence_text, justified);
} catch (BadLocationException ble) {
System.err.println("Couldn't insert initial text into text pane.");
}
Style logicalStyle = doc.getLogicalStyle(0);
doc.setParagraphAttributes(0, licence_text.length(), justified, false);
doc.setLogicalStyle(0, logicalStyle);
JScrollPane paneScrollPane = new JScrollPane(text_pane);
paneScrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
paneScrollPane.setPreferredSize(dimension);
paneScrollPane.setMinimumSize(dimension);
JPanel pan = new JPanel();
LayoutManager layout = new BorderLayout();
pan.setLayout(layout);
pan.add(new JScrollPane(paneScrollPane), BorderLayout.CENTER);
JButton close = new JButton("Fermer");
close.addActionListener(new ButtonCloseActionListener(licence));
JPanel button_panel = new JPanel();
FlowLayout button_panel_layout = new FlowLayout(FlowLayout.RIGHT, 20, 20);
button_panel.setLayout(button_panel_layout);
button_panel.add(close);
pan.add(button_panel, BorderLayout.SOUTH);
licence.add(pan);
licence.pack();
licence.setLocationRelativeTo(memento);
licence.setVisible(true);
}