private void jbInit() throws Exception {
border1 = BorderFactory.createEmptyBorder(20, 20, 20, 20);
contentPane.setBorder(border1);
contentPane.setLayout(borderLayout1);
controlsPane.setLayout(gridLayout1);
gridLayout1.setColumns(1);
gridLayout1.setHgap(10);
gridLayout1.setRows(0);
gridLayout1.setVgap(10);
okButton.setVerifyInputWhenFocusTarget(true);
okButton.setMnemonic('O');
okButton.setText("OK");
buttonsPane.setLayout(flowLayout1);
flowLayout1.setAlignment(FlowLayout.CENTER);
messagePane.setEditable(false);
messagePane.setText("");
borderLayout1.setHgap(10);
borderLayout1.setVgap(10);
this.setTitle("Subscription Authorization");
this.getContentPane().add(contentPane, BorderLayout.CENTER);
contentPane.add(controlsPane, BorderLayout.SOUTH);
controlsPane.add(responsesComboBox, null);
controlsPane.add(buttonsPane, null);
buttonsPane.add(okButton, null);
contentPane.add(messageScrollPane, BorderLayout.CENTER);
messageScrollPane.getViewport().add(messagePane, null);
}
private void initComponents() {
{
DefaultTableColumnModel model = new DefaultTableColumnModel();
TableColumn column = new TableColumn(0);
column.setResizable(true);
model.addColumn(column);
column = new TableColumn(1, 120, new ButtonCellRenderer(), null);
column.setMaxWidth(120);
column.setResizable(false);
model.addColumn(column);
companionsTable.setAutoResizeMode(JTable.AUTO_RESIZE_ALL_COLUMNS);
companionsTable.getTableHeader().setResizingAllowed(false);
companionsTable.setAutoCreateColumnsFromModel(false);
companionsTable.setColumnModel(model);
}
companionsTable.setIntercellSpacing(new Dimension(0, 0));
companionsTable.setFocusable(false);
companionsTable.setRowHeight(23);
companionsTable.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
setLeftComponent(new JScrollPane(companionsTable));
JPanel rightPane = new JPanel(new BorderLayout());
infoPane.setOpaque(false);
infoPane.setEditable(false);
infoPane.setFocusable(true);
infoPane.setContentType("text/html"); // $NON-NLS-1$
rightPane.add(new JScrollPane(infoPane), BorderLayout.CENTER);
JPanel buttonPane = new JPanel(new FlowLayout());
buttonPane.add(loadButton);
rightPane.add(buttonPane, BorderLayout.SOUTH);
setRightComponent(rightPane);
}
private void setSubscriberDetails(
String subscriberName, String subscriberAddress, String message) {
this.name = subscriberName;
this.address = subscriberAddress;
Color color = messagePane.getForeground();
messagePane.setText(
"<FONT COLOR=\"#"
+ Integer.toHexString(color.getRGB()).substring(2)
+ "\">"
+ messageString1
+ "<p>"
+ namePrefix
+ name
+ nameSuffix
+ "<br>"
+ addressPrefix
+ address
+ addressSuffix
+ "<p>"
+ ((message != null && message.trim().length() > 0)
? messagePrefix + message + messageSuffix + "<p>"
: "")
+ messageString2
+ "</FONT>");
}
public int computeDocumentOffset(int line, int column) throws BadLocationException {
if (line < 0 || column < 0) throw new BadLocationException("Negative line/col", -1);
Element lineElement = editor.getDocument().getDefaultRootElement().getElement(line - 1);
int beginLineOffset = lineElement.getStartOffset();
int endLineOffset = lineElement.getEndOffset();
String text = editor.getDocument().getText(beginLineOffset, endLineOffset - beginLineOffset);
int parserChar = 1;
int documentChar = 0;
while (parserChar < column) {
if (documentChar < text.length() && text.charAt(documentChar) == '\t') {
parserChar += 8;
documentChar += 1;
} else {
parserChar += 1;
documentChar += 1;
}
}
return beginLineOffset + documentChar;
}
public static void clearAll(JEditorPane txt) {
try {
txt.setText("");
HTMLEditorKit kit = (HTMLEditorKit) txt.getEditorKit();
HTMLDocument doc = (HTMLDocument) txt.getDocument();
kit.insertHTML(
doc, 0, "<body style=\"font-family:'Courier New';font-size: 12pt;\">", 0, 0, null);
} catch (Exception e) {
}
}
public void delete() {
try {
editor
.getDocument()
.remove(
editor.getSelectionStart(), editor.getSelectionEnd() - editor.getSelectionStart());
} catch (BadLocationException ex) {
// GUIPrism.getGUI().getMultiLogger().logMessage(PrismLogLevel.PRISM_ERROR, ex.getMessage());
}
}
/**
* Loads the model editor with the text from the given stream reader, discards any previous
* content in the editor.
*
* @param reader A character stream reader
* @param object An object describing the stream; this might be a string, a File, a URL, etc.
* @throws IOException Thrown if there was an IO error reading the input stream.
*/
public void read(Reader reader, Object object) throws IOException {
editor.getDocument().removeUndoableEditListener(undoManager);
editor.read(reader, object);
// For some unknown reason the listeners have to be added both here
// and in the constructor, if they're not added here the editor won't
// be listening.
editor.getDocument().addDocumentListener(this);
editor.getDocument().addUndoableEditListener(undoManager);
}
public void displayPage(JEditorPane pane, String text) {
try {
File helpFile = new File((String) locations.get(text));
String loc = "file:" + helpFile.getAbsolutePath();
URL page = new URL(loc);
pane.setPage(page);
} catch (IOException ioe) {
JOptionPane.showMessageDialog(null, "Help Topic Unavailable");
pane.getParent().repaint();
}
}
private static void appendHTML(JEditorPane editor, String html) {
try {
html = StringUtil.replaceAll(html, "\t", " ");
html = StringUtil.replaceAll(html, "\r\n", "\n");
html = StringUtil.replaceAll(html, "\r", "");
Vector vt = StringUtil.toStringVector(html, "\n");
HTMLEditorKit kit = (HTMLEditorKit) editor.getEditorKit();
HTMLDocument doc = (HTMLDocument) editor.getDocument();
for (int iIndex = 0; iIndex < vt.size(); iIndex++)
kit.insertHTML(doc, doc.getLength(), (String) vt.elementAt(iIndex), 0, 0, null);
} catch (Exception e) {
e.printStackTrace();
}
}
public NodeDisplay() {
super(new BorderLayout());
// setPreferredSize(new Dimension(300, 300));
editorPane = new JEditorPane();
editorPane.setEditorKit(new HTMLEditorKit());
add(new JScrollPane(editorPane), BorderLayout.CENTER);
}
private void initComponents() {
setDefaultCloseOperation(JDialog.DO_NOTHING_ON_CLOSE);
messagePane.setBackground(contentPane.getBackground());
messagePane.setEditorKit(new HTMLEditorKit());
messagePane.setForeground(contentPane.getForeground());
setSize(450, 360);
// center the window
int x = (int) (Toolkit.getDefaultToolkit().getScreenSize().getWidth() - getWidth()) / 2;
int y = (int) (Toolkit.getDefaultToolkit().getScreenSize().getHeight() - getHeight()) / 2;
setLocation(x, y);
okButton.addActionListener(this);
}
/**
* Called when the selection changed in the tree. Loads the selected certificate.
*
* @param e the event
*/
private void valueChangedPerformed(TreeSelectionEvent e) {
Object o = e.getNewLeadSelectionPath().getLastPathComponent();
if (o instanceof DefaultMutableTreeNode) {
DefaultMutableTreeNode node = (DefaultMutableTreeNode) o;
infoTextPane.setText(toString(node.getUserObject()));
}
}
public void jumpToError() {
if (parseError != null && parseError.hasLineNumbers()) {
try {
int offset = computeDocumentOffset(parseError.getBeginLine(), parseError.getBeginColumn());
// scroll to center as much as possible.
editor.setCaretPosition(offset);
Rectangle r1 = editor.modelToView(offset);
int dy = (editor.getVisibleRect().height - r1.height) / 2;
Rectangle r2 =
new Rectangle(0, r1.y - dy, editor.getVisibleRect().width, r1.height + 2 * dy);
editor.scrollRectToVisible(r2);
} catch (BadLocationException e) {
}
}
}
public void refreshErrorDisplay() {
if (parseErrorHighlightKey != null)
editor.getHighlighter().removeHighlight(parseErrorHighlightKey);
/* Mapping for gutter */
Map<Integer, String> errorLines = new HashMap<Integer, String>();
if (parseError != null && parseError.hasLineNumbers()) {
String error = parseError.getMessage();
// Just the first line.
errorLines.put(parseError.getBeginLine(), error);
// If error spans multiple lines, this code will put
// an error in every line of the gutter.
/*for (int line = parseError.getBeginLine();
line <= parseError.getEndLine();
line++)
{
errorLines.put(line, error);
}*/
}
gutter.setParseErrors(errorLines);
/* Highlighting errors in editor */
if (parseError != null && parseError.hasLineNumbers()) {
/* Remove existing highlight */
try {
parseErrorHighlightKey =
editor
.getHighlighter()
.addHighlight(
computeDocumentOffset(parseError.getBeginLine(), parseError.getBeginColumn()),
computeDocumentOffset(parseError.getEndLine(), parseError.getEndColumn()) + 1,
errorHighlightPainter);
} catch (BadLocationException e) {
}
}
}
TextPanel(String file) {
super(new BorderLayout());
JEditorPane text = new JEditorPane();
try {
text.setPage(TextPanel.this.getClass().getResource(file));
} catch (Exception e) {
text.setText("Error loading '" + file + "'");
e.printStackTrace();
}
text.setEditable(false);
JScrollPane scrollPane = new JScrollPane(text);
Dimension dim = new Dimension();
dim.width = 450;
dim.height = 200;
scrollPane.setPreferredSize(dim);
TextPanel.this.add(BorderLayout.CENTER, scrollPane);
}
public boolean canDoClipBoardAction(Action action) {
if (action == GUIPrism.getClipboardPlugin().getPasteAction()) {
Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard();
return (clipboard.getContents(null) != null);
} else if (action == GUIPrism.getClipboardPlugin().getCutAction()
|| action == GUIPrism.getClipboardPlugin().getCopyAction()
|| action == GUIPrism.getClipboardPlugin().getDeleteAction()) {
return (editor.getSelectedText() != null);
} else if (action == GUIPrism.getClipboardPlugin().getSelectAllAction()) {
return true;
}
return handler.canDoClipBoardAction(action);
}
public void actionPerformed(final AnActionEvent e) {
@NonNls final String delim = " -> ";
final StringBuffer buf = new StringBuffer();
processDependencies(
getSelectedScope(myLeftTree),
getSelectedScope(myRightTree),
new Processor<List<PsiFile>>() {
public boolean process(final List<PsiFile> path) {
if (buf.length() > 0) buf.append("<br>");
buf.append(
StringUtil.join(
path,
new Function<PsiFile, String>() {
public String fun(final PsiFile psiFile) {
return psiFile.getName();
}
},
delim));
return true;
}
});
final JEditorPane pane =
new JEditorPane(UIUtil.HTML_MIME, "<html>" + buf.toString() + "</html>");
pane.setForeground(Color.black);
pane.setBackground(HintUtil.INFORMATION_COLOR);
pane.setOpaque(true);
final JScrollPane scrollPane = ScrollPaneFactory.createScrollPane(pane);
final Dimension dimension = pane.getPreferredSize();
scrollPane.setMinimumSize(new Dimension(dimension.width, dimension.height + 20));
scrollPane.setPreferredSize(new Dimension(dimension.width, dimension.height + 20));
JBPopupFactory.getInstance()
.createComponentPopupBuilder(scrollPane, pane)
.setTitle("Dependencies")
.setMovable(true)
.createPopup()
.showInBestPositionFor(e.getDataContext());
}
void doSourceFileUpdate() {
BufferedReader bufferIn = null;
String str1 = new String();
String strContent = new String();
String sliderValue = new String();
String newLine = System.getProperty("line.separator");
StringBuffer strBuf = new StringBuffer();
int posFound = 0;
int i = 0;
PSlider slider;
// Read the original source file to input buffer
try {
bufferIn = new BufferedReader(new FileReader(exampleSource));
} catch (FileNotFoundException fe) {
System.err.println("Example Source File not found " + fe);
System.exit(-1);
}
// get the first line of the buffer.
try {
str1 = bufferIn.readLine();
} catch (IOException ie) {
System.err.println("Error reading line from the buffer " + ie);
System.exit(-1);
}
// Transfer the whole content of the input buffer to the string
try {
do strContent += str1 + newLine;
while ((str1 = bufferIn.readLine()) != null);
} catch (IOException ie) {
System.err.println("Error readding content of the input buffer " + ie);
System.exit(-1);
}
// do the replacement.
for (i = 0; i < COMPONENTS; i++) {
// get the current value of slider
slider = (PSlider) vSlider.elementAt(i);
sliderValue = slider.getValue();
// construct the search string
str1 = "$$$" + (i + 1);
// get the position of the search string in the content string.
strBuf = new StringBuffer(strContent);
posFound = strContent.indexOf(str1);
strBuf.replace(posFound, posFound + str1.length(), sliderValue);
strContent = new String(strBuf);
}
textPane.setText(strContent);
}
/**
* Helper method that initializes the items for the context menu. This menu will include cut,
* copy, paste, undo/redo, and find/replace functionality.
*/
private void initContextMenu() {
contextPopup = new JPopupMenu();
// Edit menu stuff
contextPopup.add(GUIPrism.getClipboardPlugin().getUndoAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getRedoAction());
contextPopup.add(new JSeparator());
contextPopup.add(GUIPrism.getClipboardPlugin().getCutAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getCopyAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getPasteAction());
contextPopup.add(GUIPrism.getClipboardPlugin().getDeleteAction());
contextPopup.add(new JSeparator());
contextPopup.add(GUIPrism.getClipboardPlugin().getSelectAllAction());
contextPopup.add(new JSeparator());
// Model menu stuff
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getParseModel());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getBuildModel());
contextPopup.add(new JSeparator());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getExportMenu());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getViewMenu());
contextPopup.add(((GUIMultiModel) handler.getGUIPlugin()).getComputeMenu());
// contextPopup.add(actionJumpToError);
// contextPopup.add(actionSearch);
if (editor.getContentType().equals("text/prism")) {
JMenu insertMenu = new JMenu("Insert elements");
JMenu insertModelTypeMenu = new JMenu("Model type");
insertMenu.add(insertModelTypeMenu);
JMenu insertModule = new JMenu("Module");
insertMenu.add(insertModule);
JMenu insertVariable = new JMenu("Variable");
insertMenu.add(insertVariable);
insertModelTypeMenu.add(insertDTMC);
insertModelTypeMenu.add(insertCTMC);
insertModelTypeMenu.add(insertMDP);
// contextPopup.add(new JSeparator());
// contextPopup.add(insertMenu);
}
}
/**
* @param baseURL may be <code>null</code>
* @see PropertyPanel.PropertyField#setText
*/
void setText(String text, String baseURL, DocumentListener documentListener) {
//
textComponent.getDocument().removeDocumentListener(documentListener);
//
if (editorType == EDITOR_TYPE_STYLED) {
//
// --- set content type ---
((JEditorPane) textComponent).setContentType("text/html");
//
// --- set base URL ---
try {
// Note: baseURL is null if no baseURL is set for the corresponding property
// Note: baseURL is empty if corporate baseURL is used but not set
if (baseURL != null && !baseURL.equals("")) {
((HTMLDocument) textComponent.getDocument()).setBase(new URL(baseURL));
}
} catch (MalformedURLException mue) {
System.out.println("*** TextEditorPanel.setText(): invalid base URL: " + mue);
}
//
// --- set text ---
try {
if (text.length() <= 59) { // ### 59 <html><head></head><body></body></html> + whitespace
text = "<html><body><p></p></body></html>";
}
textComponent.setText(text);
textComponent.setCaretPosition(0);
} catch (Throwable e) {
textComponent.setText(
"<html><body><font color=#FF0000>Page can't be displayed</font></body></html>");
System.out.println("*** TextEditorPanel.setText(): error while HTML rendering: " + e);
}
} else {
textComponent.setText(text);
textComponent.setCaretPosition(0);
}
//
textComponent.getDocument().addDocumentListener(documentListener);
}
/** Construct a new "about…" dialog */
public DialogAbout(MDIManager mdimgr) {
buttonOk = new JButton(localize("button.OK"));
buttonOk.addActionListener(this);
JPanel buttonPanel = new JPanel(new FlowLayout(), false);
buttonPanel.add(buttonOk);
JPanel logoPanel = new JPanel(new FlowLayout(), false);
logoPanel.setBorder(new EmptyBorder(10, 10, 10, 10));
logoPanel.add(PEToolKit.createJLabel("Frankenstein"));
JPanel infoPanel = new JPanel(new GridLayout(9, 1, 5, 5), true);
infoPanel.setBorder(new EmptyBorder(10, 60, 10, 10));
infoPanel.add(
new JLabel("jPicEdt " + Version.getVersion() + " Built " + Version.getBuildDate()));
infoPanel.add(new JLabel(localize("about.APictureEditorFor")));
final String[] addressLines = {
"(c) Sylvain Reynal",
"É.N.S.É.A. - Dept. of Physics",
"6, avenue du Ponceau",
"F-95014 CERGY Cedex",
"Fax: +33 (0) 130 736 667",
"*****@*****.**",
"http://www.jpicedt.org"
};
for (String addressLine : addressLines) infoPanel.add(new JLabel(addressLine));
JTabbedPane caveatPanel = new JTabbedPane();
String[] tabKeys = {"license.lines", "license.thirdparty.lines"};
for (String tabKey : tabKeys) {
JEditorPane caveatTA = new JEditorPane();
caveatTA.setContentType("text/html; charset=" + localize(tabKey + ".encoding"));
caveatTA.setEditable(false);
caveatTA.setPreferredSize(new Dimension(485, 300));
JScrollPane scrollCaveat = new JScrollPane(caveatTA);
caveatTA.setText(localize(tabKey));
caveatPanel.addTab(localize(tabKey + ".tabname"), null, scrollCaveat, null);
}
caveatPanel.setBorder(BorderFactory.createEtchedBorder());
JPanel upperPanel = new JPanel(new BorderLayout(), false);
upperPanel.add(logoPanel, BorderLayout.WEST);
upperPanel.add(infoPanel, BorderLayout.CENTER);
upperPanel.add(caveatPanel, BorderLayout.SOUTH);
upperPanel.setBorder(BorderFactory.createEtchedBorder());
JPanel contentPane = new JPanel(new BorderLayout(5, 5));
contentPane.add(upperPanel, BorderLayout.NORTH);
contentPane.add(buttonPanel, BorderLayout.SOUTH);
String title = localize("about.AboutPicEdt") + " " + Version.getVersion();
boolean modal = true;
frame = mdimgr.createDialog(title, modal, contentPane);
frame.setResizable(true);
frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
Dimension dlgSize = frame.getPreferredSize();
frame.setSize(dlgSize);
// this.pack();
frame.setVisible(true);
}
public void display(CavityDBObject obj) {
String str = obj.asString();
// System.out.println(String.format("Displaying:\n%s", str));
editorPane.setText(str);
revalidate();
}
void doSourceFileUpdate() {
BufferedReader bufferIn = null;
String str1 = new String();
String strContent = new String();
String sliderValue = new String();
String newLine = System.getProperty("line.separator");
StringBuffer strBuf = new StringBuffer();
RandomAccessFile access = null;
String tempFile = "temp" + round + ".html";
File fp = new File(tempFile);
boolean firstChoice = true;
int posFound = 0;
int i = 0;
PSlider slider;
// round += 1;
// Read the original source file to input buffer
try {
bufferIn = new BufferedReader(new FileReader(exampleSource));
} catch (FileNotFoundException fe) {
System.err.println("Example Source File not found " + fe);
// System.exit(-1);;
}
// get the first line of the buffer.
try {
str1 = bufferIn.readLine();
} catch (IOException ie) {
System.err.println("Error reading line from the buffer " + ie);
// System.exit(-1);;
}
// Transfer the whole content of the input buffer to the string
try {
do strContent += str1 + newLine;
while ((str1 = bufferIn.readLine()) != null);
} catch (IOException ie) {
System.err.println("Error readding content of the input buffer " + ie);
// System.exit(-1);;
}
// do the replacement.
// First having to update the code part that is active in this section before
// doing variables updated. Look at the current active radiobutton to make decision
if (secondBox.isSelected() == true) firstChoice = false;
if (firstChoice == true) {
String tempStr = new String();
strBuf = new StringBuffer(strContent);
posFound = strContent.indexOf(textStr2);
tempStr =
"<font color=blue>/***********" + newLine + textStr2 + newLine + "***********/</font>";
strBuf.replace(posFound, posFound + textStr2.length(), tempStr);
strContent = new String(strBuf);
} else {
String tempStr = new String();
strBuf = new StringBuffer(strContent);
posFound = strContent.indexOf(textStr1);
tempStr =
"<font color=blue>/***********" + newLine + textStr1 + newLine + "***********/</font>";
strBuf.replace(posFound, posFound + textStr1.length(), tempStr);
strContent = new String(strBuf);
}
for (i = COMPONENTS; i > 0; i--) {
// get the current value of slider
slider = (PSlider) vSlider.elementAt(i - 1);
sliderValue = slider.getValue();
// construct the search string
str1 = "JPOT$" + i;
// get the position of the search string in the content string.
while ((posFound = strContent.indexOf(str1)) != -1) {
strBuf = new StringBuffer(strContent);
strBuf.replace(posFound, posFound + str1.length(), sliderValue);
strContent = new String(strBuf);
}
}
boolean delete = fp.delete();
try {
fp.createNewFile();
} catch (IOException ie) {
System.err.println("Couldn't create the new file " + ie);
// System.exit(-1);;
}
try {
access = new RandomAccessFile(fp, "rw");
} catch (IOException ie) {
System.err.println("Error in accessing the file " + ie);
// System.exit(-1);;
}
try {
access.writeBytes(strContent);
access.close();
} catch (IOException ie) {
System.err.println("Error in writing to file " + ie);
// System.exit(-1);;
}
try {
textPane.getDocument().putProperty(Document.StreamDescriptionProperty, null);
URL url = new URL("file:" + tempFile + "#gohere");
textPane.setPage(url);
delete = fp.delete();
} catch (IOException ie) {
System.err.println("Can not get the example html file " + ie);
// System.exit(-1);;
}
}
public OrderTrans2() {
super(windowTitle);
int i;
int currentPanel; // Value to specify which is the current panel in the vector
JPanel subPanel = new JPanel(); // value used when adding sliders to the frame
Runtime program = Runtime.getRuntime();
Container content = getContentPane();
createSliderVector();
createPanelVector();
getCodeSwapString();
/** Set code-swap strings' value. */
/** Get current OS of the system. */
if (System.getProperty("os.name").startsWith("Windows")) isWindows = true;
else isWindows = false;
/** Add the radio buttons to the group */
radioGrp.add(firstBox);
radioGrp.add(secondBox);
/** Set interactive buttons for the user interface */
JButton exeButton = new JButton("Execute");
exeButton.setToolTipText("Re-execute the program");
JButton resetButton = new JButton("Reset");
resetButton.setToolTipText("Reset Value");
JButton exitButton = new JButton("Exit");
exitButton.setToolTipText("Exit the Program");
// Create the main panel that contains everything.
JPanel mainPanel = new JPanel();
// Create the panel that contains the sliders
JPanel subPanel1 = new JPanel();
// Create the panel that contains the checkboxes
JPanel subPanel2 = new JPanel();
// Create the panel that contains the buttons
JPanel subPanel3 = new JPanel();
// JScrollPane scrollPane = new JScrollPane(); // main text pane with scroll bars
content.add(mainPanel, BorderLayout.SOUTH);
mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.Y_AXIS));
mainPanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
content.add(scrollPane, BorderLayout.CENTER);
scrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
scrollPane.getViewport().add(textPane);
mainPanel.add(subPanel1);
mainPanel.add(subPanel2);
mainPanel.add(subPanel3);
subPanel1.setLayout(new GridLayout(0, 1));
/** Add subPanel elements to the subPanel1, each would be a row of sliders */
for (i = 0; i < ROWS; i++) subPanel1.add((JPanel) vSubPanel.elementAt(i));
/** Set the first element in the Panel Vector as the current subPanel. */
currentPanel = 0;
subPanel = (JPanel) vSubPanel.elementAt(currentPanel);
/** Allocate sliders to the sub-panels. */
for (i = 0; i < COMPONENTS; i++) {
PSlider slider = (PSlider) vSlider.elementAt(i);
if (slider.getResideValue() == 'n') {
currentPanel += 1;
subPanel = (JPanel) vSubPanel.elementAt(currentPanel);
}
subPanel.add((PSlider) vSlider.elementAt(i));
}
/** Set and view the source code on the frame */
textPane.setEditable(false);
textPane.setContentType("text/html; charset=EUC-JP");
subPanel2.setLayout(new GridLayout(0, 2));
subPanel2.add(firstBox);
subPanel2.add(secondBox);
subPanel3.setLayout(new GridLayout(0, 3));
subPanel3.add(exeButton);
exeButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
doExeCommand();
}
});
subPanel3.add(resetButton);
resetButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
doResetCommand();
}
});
subPanel3.add(exitButton);
exitButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
doExitCommand();
}
});
/** Run the illustrated program */
try {
pid = program.exec(cmd);
if (isWindows == false) {
Process pid2 = null;
pid2 = program.exec("getpid " + cmd.substring(4));
}
} catch (IOException ie) {
System.err.println("Couldn't run " + ie);
// System.exit(-1);;
}
/** Set the initial status for the window */
addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent e) {
File fp = new File(dataFile);
doResetCommand();
boolean delete = fp.delete();
pid.destroy();
}
});
doExeCommand();
setSize(WIDTH, HEIGHT);
setLocation(500, 0);
setVisible(true);
}
/**
* Constructs a X509 certificate panel.
*
* @param certificates <tt>X509Certificate</tt> objects
*/
public X509CertificatePanel(Certificate[] certificates) {
setLayout(new BorderLayout(5, 5));
// Certificate chain list
TransparentPanel topPanel = new TransparentPanel(new BorderLayout());
topPanel.add(
new JLabel(
"<html><body><b>"
+ R.getI18NString("service.gui.CERT_INFO_CHAIN")
+ "</b></body></html>"),
BorderLayout.NORTH);
DefaultMutableTreeNode top = new DefaultMutableTreeNode();
DefaultMutableTreeNode previous = top;
for (int i = certificates.length - 1; i >= 0; i--) {
Certificate cert = certificates[i];
DefaultMutableTreeNode next = new DefaultMutableTreeNode(cert);
previous.add(next);
previous = next;
}
JTree tree = new JTree(top);
tree.setBorder(new BevelBorder(BevelBorder.LOWERED));
tree.setRootVisible(false);
tree.setExpandsSelectedPaths(true);
tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);
tree.setCellRenderer(
new DefaultTreeCellRenderer() {
@Override
public Component getTreeCellRendererComponent(
JTree tree,
Object value,
boolean sel,
boolean expanded,
boolean leaf,
int row,
boolean hasFocus) {
JLabel component =
(JLabel)
super.getTreeCellRendererComponent(
tree, value, sel, expanded, leaf, row, hasFocus);
if (value instanceof DefaultMutableTreeNode) {
Object o = ((DefaultMutableTreeNode) value).getUserObject();
if (o instanceof X509Certificate) {
component.setText(getSimplifiedName((X509Certificate) o));
} else {
// We don't know how to represent this certificate type,
// let's use the first 20 characters
String text = o.toString();
if (text.length() > 20) {
text = text.substring(0, 20);
}
component.setText(text);
}
}
return component;
}
});
tree.getSelectionModel()
.addTreeSelectionListener(
new TreeSelectionListener() {
@Override
public void valueChanged(TreeSelectionEvent e) {
valueChangedPerformed(e);
}
});
tree.setSelectionPath(
new TreePath((((DefaultTreeModel) tree.getModel()).getPathToRoot(previous))));
topPanel.add(tree, BorderLayout.CENTER);
add(topPanel, BorderLayout.NORTH);
// Certificate details pane
Caret caret = infoTextPane.getCaret();
if (caret instanceof DefaultCaret) {
((DefaultCaret) caret).setUpdatePolicy(DefaultCaret.NEVER_UPDATE);
}
/*
* Make JEditorPane respect our default font because we will be using it
* to just display text.
*/
infoTextPane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, true);
infoTextPane.setOpaque(false);
infoTextPane.setEditable(false);
infoTextPane.setContentType("text/html");
infoTextPane.setText(toString(certificates[0]));
final JScrollPane certScroll = new JScrollPane(infoTextPane);
certScroll.setPreferredSize(new Dimension(300, 500));
add(certScroll, BorderLayout.CENTER);
}
public EditorPaneFrame() {
setSize(DEFAULT_WIDTH, DEFAULT_HEIGHT);
final Stack<String> urlStack = new Stack<>();
final JEditorPane editorPane = new JEditorPane();
final JTextField url = new JTextField(30);
// set up hyperlink listener
editorPane.setEditable(false);
editorPane.addHyperlinkListener(
new HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent event) {
if (event.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
try {
// remember URL for back button
urlStack.push(event.getURL().toString());
// show URL in text field
url.setText(event.getURL().toString());
editorPane.setPage(event.getURL());
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
}
});
// set up checkbox for toggling edit mode
final JCheckBox editable = new JCheckBox();
editable.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent event) {
editorPane.setEditable(editable.isSelected());
}
});
// set up load button for loading URL
ActionListener listener =
new ActionListener() {
public void actionPerformed(ActionEvent event) {
try {
// remember URL for back button
urlStack.push(url.getText());
editorPane.setPage(url.getText());
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
};
JButton loadButton = new JButton("Load");
loadButton.addActionListener(listener);
url.addActionListener(listener);
// set up back button and button action
JButton backButton = new JButton("Back");
backButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent event) {
if (urlStack.size() <= 1) return;
try {
// get URL from back button
urlStack.pop();
// show URL in text field
String urlString = urlStack.peek();
url.setText(urlString);
editorPane.setPage(urlString);
} catch (IOException e) {
editorPane.setText("Exception: " + e);
}
}
});
add(new JScrollPane(editorPane), BorderLayout.CENTER);
// put all control components in a panel
JPanel panel = new JPanel();
panel.add(new JLabel("URL"));
panel.add(url);
panel.add(loadButton);
panel.add(backButton);
panel.add(new JLabel("Editable"));
panel.add(editable);
add(panel, BorderLayout.SOUTH);
}
private void jbInit() throws Exception {
////////////////////////////////////////////////////////
// Init LAF
////////////////////////////////////////////////////////
ButtonGroup grpLAF = new ButtonGroup();
ActionListener lsnLAF =
new ActionListener() {
public void actionPerformed(ActionEvent evt) {
int iIndex = mvtLAFItem.indexOf(evt.getSource());
if (iIndex >= 0) changeLAF(iIndex);
}
};
////////////////////////////////////////////////////////
UIManager.LookAndFeelInfo laf =
new UIManager.LookAndFeelInfo(
"Kunststoff", "com.incors.plaf.kunststoff.KunststoffLookAndFeel");
marrLaf = UIManager.getInstalledLookAndFeels();
int iIndex = 0;
while (iIndex < marrLaf.length && !marrLaf[iIndex].getName().equals(laf.getName())) iIndex++;
if (iIndex >= marrLaf.length) {
UIManager.installLookAndFeel(laf);
marrLaf = UIManager.getInstalledLookAndFeels();
}
for (iIndex = 0; iIndex < marrLaf.length; iIndex++) {
JMenuItem mnu = new JRadioButtonMenuItem(marrLaf[iIndex].getName());
mnu.addActionListener(lsnLAF);
mvtLAFItem.addElement(mnu);
mnuUI.add(mnu);
grpLAF.add(mnu);
}
mnuUI.addSeparator();
////////////////////////////////////////////////////////
// Init language
////////////////////////////////////////////////////////
ButtonGroup grpLanguage = new ButtonGroup();
ActionListener lsnLanguage =
new ActionListener() {
public void actionPerformed(ActionEvent e) {
int iIndex = mvtLanguageItem.indexOf(e.getSource());
if (iIndex >= 0) changeDictionary((String) mvtLanguage.elementAt(iIndex));
}
};
////////////////////////////////////////////////////////
String[] str = MonitorDictionary.getSupportedLanguage();
for (iIndex = 0; iIndex < str.length; iIndex++) {
JMenuItem mnu =
new JRadioButtonMenuItem(MonitorDictionary.getDictionary(str[iIndex]).getLanguage());
mnu.addActionListener(lsnLanguage);
mvtLanguage.addElement(str[iIndex]);
mvtLanguageItem.addElement(mnu);
mnuUI.add(mnu);
grpLanguage.add(mnu);
}
////////////////////////////////////////////////////////
// Add to main menu
////////////////////////////////////////////////////////
mnuMain.removeAll();
mnuMain.add(mnuSystem);
mnuSystem.add(mnuSystem_Login);
mnuSystem.add(mnuSystem_ChangePassword);
mnuSystem.addSeparator();
mnuSystem.add(mnuSystem_StopServer);
mnuSystem.add(mnuSystem_EnableThreads);
mnuMain.add(mnuUI);
mnuMain.add(mnuHelp);
mnuHelp.add(mnuHelp_About);
////////////////////////////////////////////////////////
mnuMain.add(chkVietnamese);
mnuMain.add(lblStatus);
////////////////////////////////////////////////////////
pnlThread.setTabPlacement(JTabbedPane.LEFT);
pnlThread.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
////////////////////////////////////////////////////////
tblUser.addColumn("", 1, false);
tblUser.addColumn("", 2, false, Global.FORMAT_DATE_TIME);
tblUser.addColumn("", 3, false);
////////////////////////////////////////////////////////
JPanel pnlMessage = new JPanel();
pnlMessage.setLayout(new GridBagLayout());
pnlMessage.add(
new JScrollPane(txtBoard),
new GridBagConstraints(
0,
0,
2,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlMessage.add(
txtMessage,
new GridBagConstraints(
0,
1,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlMessage.add(
btnSend,
new GridBagConstraints(
1,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(2, 2, 2, 2),
0,
0));
txtBoard.setEditable(false);
txtBoard.setAutoscrolls(true);
txtBoard.setContentType("text/html");
clearAll(txtBoard);
////////////////////////////////////////////////////////
JPanel pnlUserButton = new JPanel(new GridLayout(1, 2, 4, 4));
pnlUserButton.add(btnKick);
pnlUserButton.add(btnRefresh);
////////////////////////////////////////////////////////
JPanel pnlManager = new JPanel(new GridBagLayout());
pnlManager.add(
new JScrollPane(tblUser),
new GridBagConstraints(
0,
0,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlManager.add(
pnlUserButton,
new GridBagConstraints(
0,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(4, 2, 4, 2),
0,
0));
////////////////////////////////////////////////////////
pnlUser.setDividerLocation(320);
pnlUser.setLeftComponent(pnlManager);
pnlUser.setRightComponent(pnlMessage);
pnlUser.setOneTouchExpandable(true);
////////////////////////////////////////////////////////
setOrientation(JSplitPane.VERTICAL_SPLIT);
setOneTouchExpandable(true);
pnlThread.setVisible(false);
pnlUser.setVisible(false);
setTopComponent(pnlThread);
setBottomComponent(pnlUser);
////////////////////////////////////////////////////////
pmn.add(mnuSelectAll);
pmn.addSeparator();
pmn.add(mnuClearSelected);
pmn.add(mnuClearAll);
////////////////////////////////////////////////////////
setBorder(BorderFactory.createEmptyBorder());
pnlUser.setBorder(BorderFactory.createEmptyBorder());
pnlManager.setBorder(
BorderFactory.createBevelBorder(
javax.swing.border.BevelBorder.RAISED,
Color.white,
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background")));
pnlMessage.setBorder(
BorderFactory.createBevelBorder(
javax.swing.border.BevelBorder.RAISED,
Color.white,
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background")));
////////////////////////////////////////////////////////
Skin.applySkin(mnuMain);
Skin.applySkin(tblUser);
Skin.applySkin(pmn);
Skin.applySkin(this);
////////////////////////////////////////////////////////
// Default setting
////////////////////////////////////////////////////////
Hashtable prt = null;
try {
prt = Global.loadHashtable(Global.FILE_CONFIG);
} catch (Exception e) {
prt = new Hashtable();
}
changeLAF(Integer.parseInt(StringUtil.nvl(prt.get("LAF"), "0")));
changeDictionary(StringUtil.nvl(prt.get("Language"), "VN"));
Skin.LANGUAGE_CHANGE_LISTENER = this;
MonitorProcessor.setRootObject(this);
updateKeyboardUI();
////////////////////////////////////////////////////////
// Event handler
////////////////////////////////////////////////////////
tblUser.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() > 1) btnKick.doClick();
}
});
////////////////////////////////////////////////////////
btnRefresh.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
try {
DDTP request = new DDTP();
request.setRequestID(String.valueOf(System.currentTimeMillis()));
DDTP response = channel.sendRequest("ThreadProcessor", "queryUserList", request);
if (response != null) {
tblUser.setData((Vector) response.getReturn());
if (mstrChannel != null) removeUser(mstrChannel);
}
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
btnKick.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
int iSelected = tblUser.getSelectedRow();
if (iSelected < 0) return;
int iResult =
MessageBox.showConfirmDialog(
pnlThread,
mdic.getString("ConfirmKick"),
Global.APP_NAME,
MessageBox.YES_NO_OPTION);
if (iResult == MessageBox.NO_OPTION) return;
try {
String strChannel = (String) tblUser.getRow(iSelected).elementAt(0);
DDTP request = new DDTP();
request.setRequestID(String.valueOf(System.currentTimeMillis()));
request.setString("strChannel", strChannel);
DDTP response = channel.sendRequest("ThreadProcessor", "kickUser", request);
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
txtMessage.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
btnSend.doClick();
}
});
////////////////////////////////////////////////////////
btnSend.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
if (txtMessage.getText().length() == 0) return;
try {
DDTP request = new DDTP();
request.setString("strMessage", txtMessage.getText());
channel.sendRequest("ThreadProcessor", "sendMessage", request);
txtMessage.setText("");
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
mnuClearAll.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
clearAll(txtBoard);
}
});
////////////////////////////////////////////////////////
mnuClearSelected.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
txtBoard.setEditable(true);
txtBoard.replaceSelection("");
txtBoard.setEditable(false);
}
});
////////////////////////////////////////////////////////
mnuSelectAll.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
txtBoard.requestFocus();
txtBoard.selectAll();
}
});
////////////////////////////////////////////////////////
txtBoard.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getButton() == e.BUTTON3) pmn.show(txtBoard, e.getX(), e.getY());
}
});
////////////////////////////////////////////////////////
mnuSystem_Login.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
login();
}
});
////////////////////////////////////////////////////////
mnuSystem_ChangePassword.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
changePassword();
}
});
////////////////////////////////////////////////////////
mnuSystem_StopServer.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopServer();
}
});
////////////////////////////////////////////////////////
mnuSystem_EnableThreads.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
manageThreads();
}
});
////////////////////////////////////////////////////////
mnuHelp_About.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
WindowManager.centeredWindow(new DialogAbout(PanelThreadManager.this));
}
});
////////////////////////////////////////////////////////
chkVietnamese.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
switchKeyboard();
}
});
}
private void updateList(final List<WCInfo> infoList) {
myPanel.removeAll();
final Insets nullIndent = new Insets(1, 3, 1, 0);
final GridBagConstraints gb =
new GridBagConstraints(
0,
0,
1,
1,
0,
0,
GridBagConstraints.NORTHWEST,
GridBagConstraints.NONE,
new Insets(2, 2, 0, 0),
0,
0);
gb.insets.left = 4;
myPanel.add(myRefreshLabel, gb);
gb.insets.left = 1;
final LocalFileSystem lfs = LocalFileSystem.getInstance();
final Insets topIndent = new Insets(10, 3, 0, 0);
for (final WCInfo wcInfo : infoList) {
final VirtualFile vf = lfs.refreshAndFindFileByIoFile(new File(wcInfo.getPath()));
final VirtualFile root = (vf == null) ? wcInfo.getVcsRoot() : vf;
final JEditorPane editorPane = new JEditorPane(UIUtil.HTML_MIME, "");
editorPane.setEditable(false);
editorPane.setFocusable(true);
editorPane.setBackground(UIUtil.getPanelBackground());
editorPane.addHyperlinkListener(
new HyperlinkListener() {
@Override
public void hyperlinkUpdate(HyperlinkEvent e) {
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
if (CONFIGURE_BRANCHES.equals(e.getDescription())) {
if (!checkRoot(root, wcInfo.getPath(), " invoke Configure Branches")) return;
BranchConfigurationDialog.configureBranches(myProject, root, true);
} else if (FIX_DEPTH.equals(e.getDescription())) {
final int result =
Messages.showOkCancelDialog(
myVcs.getProject(),
"You are going to checkout into '"
+ wcInfo.getPath()
+ "' with 'infinity' depth.\n"
+ "This will update your working copy to HEAD revision as well.",
"Set working copy infinity depth",
Messages.getWarningIcon());
if (result == 0) {
// update of view will be triggered by roots changed event
SvnCheckoutProvider.checkout(
myVcs.getProject(),
new File(wcInfo.getPath()),
wcInfo.getRootUrl(),
SVNRevision.HEAD,
SVNDepth.INFINITY,
false,
null,
wcInfo.getFormat());
}
} else if (CHANGE_FORMAT.equals(e.getDescription())) {
changeFormat(wcInfo);
} else if (MERGE_FROM.equals(e.getDescription())) {
if (!checkRoot(root, wcInfo.getPath(), " invoke Merge From")) return;
mergeFrom(wcInfo, root, editorPane);
}
}
}
private boolean checkRoot(
VirtualFile root, final String path, final String actionName) {
if (root == null) {
Messages.showWarningDialog(
myProject, "Invalid working copy root: " + path, "Can not " + actionName);
return false;
}
return true;
}
});
editorPane.setBorder(null);
editorPane.setText(formatWc(wcInfo));
final JPanel copyPanel = new JPanel(new GridBagLayout());
final GridBagConstraints gb1 =
new GridBagConstraints(
0,
0,
1,
1,
0,
0,
GridBagConstraints.NORTHWEST,
GridBagConstraints.NONE,
nullIndent,
0,
0);
gb1.insets.top = 1;
gb1.gridwidth = 3;
gb.insets = topIndent;
gb.fill = GridBagConstraints.HORIZONTAL;
++gb.gridy;
final JPanel contForCopy = new JPanel(new BorderLayout());
contForCopy.add(copyPanel, BorderLayout.WEST);
myPanel.add(contForCopy, gb);
copyPanel.add(editorPane, gb1);
gb1.insets = nullIndent;
}
myPanel.revalidate();
myPanel.repaint();
}
public void showResult(JEditorPane txt, String result) {
try {
if (txt.getText().length() == 0) {
appendHTML(txt, result);
txt.setSelectionStart(txt.getText().length());
txt.setSelectionEnd(txt.getText().length() - 1);
} else {
if (txt.getText().length() > MAX_LOG_SIZE) {
txt.setSelectionStart(0);
txt.setSelectionStart(txt.getText().length() - MAX_LOG_SIZE);
txt.replaceSelection("");
}
txt.setSelectionStart(txt.getText().length());
appendHTML(txt, result);
txt.setSelectionEnd(txt.getText().length());
}
} catch (Exception e) {
e.printStackTrace();
}
}
// Here's where the font is set on the editor pane, and we also keep
// track of the panes in use for future font updates.
public void install(JEditorPane pane) {
if (Settings.debug) System.err.println("Installing kit into pane");
delegate.install(pane);
panes.add(pane);
pane.setFont(Settings.font);
}