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");
}
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);
}
private void insertParameter(ConfigParamDescr descr, String format, int pos) {
try {
StyledDocument doc = (StyledDocument) editorPane.getDocument();
// The component must first be wrapped in a style
Style style = doc.addStyle("Parameter-" + numParameters, null);
JLabel label = new JLabel(descr.getDisplayName());
label.setAlignmentY(0.8f); // make sure we line up
label.setFont(new Font("Helvetica", Font.PLAIN, 14));
label.setForeground(Color.BLUE);
label.setName(descr.getKey());
label.setToolTipText("key: " + descr.getKey() + " format: " + format);
StyleConstants.setComponent(style, label);
doc.insertString(pos, format, style);
numParameters++;
} catch (BadLocationException e) {
}
}
private void applyFontSize() {
Document document = myEditorPane.getDocument();
if (!(document instanceof StyledDocument)) {
return;
}
StyledDocument styledDocument = (StyledDocument) document;
if (myFontSizeStyle == null) {
myFontSizeStyle = styledDocument.addStyle("active", null);
}
EditorColorsManager colorsManager = EditorColorsManager.getInstance();
EditorColorsScheme scheme = colorsManager.getGlobalScheme();
StyleConstants.setFontSize(myFontSizeStyle, scheme.getQuickDocFontSize().getSize());
if (Registry.is("documentation.component.editor.font")) {
StyleConstants.setFontFamily(myFontSizeStyle, scheme.getEditorFontName());
}
styledDocument.setCharacterAttributes(0, document.getLength(), myFontSizeStyle, false);
}
@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);
}