public BrowserFrame(Browser b) {
super("Cavity Nesting DB Browser");
browser = b;
JPanel content = new JPanel(new BorderLayout());
content.setOpaque(true);
setContentPane(content);
content.add(browser, BorderLayout.CENTER);
setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
addWindowListener(
new WindowAdapter() {
public void windowClosed(WindowEvent e) {
browser.closeBrowser();
}
});
createJMenuBar();
setJMenuBar(menubar);
setVisible(true);
pack();
}
public void showItem() {
if (!this.editorPanel.getViewer().isLanguageFunctionAvailable()) {
return;
}
this.highlight =
this.editorPanel
.getEditor()
.addHighlight(this.position, this.position + this.word.length(), null, true);
final FindSynonymsActionHandler _this = this;
QTextEditor editor = this.editorPanel.getEditor();
Rectangle r = null;
try {
r = editor.modelToView(this.position);
} catch (Exception e) {
// BadLocationException!
Environment.logError("Location: " + this.position + " is not valid", e);
UIUtils.showErrorMessage(this.editorPanel, "Unable to display synonyms.");
return;
}
int y = r.y;
// Show a panel of all the items.
final QPopup p = this.popup;
p.setOpaque(false);
Synonyms syns = null;
try {
syns = this.projectViewer.getSynonymProvider().getSynonyms(this.word);
} catch (Exception e) {
UIUtils.showErrorMessage(this.editorPanel, "Unable to display synonyms.");
Environment.logError("Unable to lookup synonyms for: " + word, e);
return;
}
if ((syns.words.size() == 0) && (this.word.toLowerCase().endsWith("ed"))) {
// Trim off the ed and try again.
try {
syns = this.projectViewer.getSynonyms(this.word.substring(0, this.word.length() - 2));
} catch (Exception e) {
UIUtils.showErrorMessage(this.editorPanel, "Unable to display synonyms.");
Environment.logError("Unable to lookup synonyms for: " + word, e);
return;
}
}
if ((syns.words.size() == 0) && (this.word.toLowerCase().endsWith("s"))) {
// Trim off the ed and try again.
try {
syns = this.projectViewer.getSynonyms(this.word.substring(0, this.word.length() - 1));
} catch (Exception e) {
UIUtils.showErrorMessage(this.editorPanel, "Unable to display synonyms.");
Environment.logError("Unable to lookup synonyms for: " + word, e);
return;
}
}
StringBuilder sb = new StringBuilder();
if (syns.words.size() > 0) {
sb.append("6px");
for (int i = 0; i < syns.words.size(); i++) {
if (sb.length() > 0) {
sb.append(", ");
}
sb.append("p, 3px, [p,90px], 5px");
}
/*
if (syns.words.size () > 0)
{
sb.append (",5px");
}
*/
} else {
sb.append("6px, p, 6px");
}
FormLayout summOnly = new FormLayout("3px, fill:380px:grow, 3px", sb.toString());
PanelBuilder pb = new PanelBuilder(summOnly);
CellConstraints cc = new CellConstraints();
int ind = 2;
Map<String, String> names = new HashMap();
names.put(Synonyms.ADJECTIVE + "", "Adjectives");
names.put(Synonyms.NOUN + "", "Nouns");
names.put(Synonyms.VERB + "", "Verbs");
names.put(Synonyms.ADVERB + "", "Adverbs");
names.put(Synonyms.OTHER + "", "Other");
if (syns.words.size() == 0) {
JLabel l = new JLabel("No synonyms found.");
l.setFont(l.getFont().deriveFont(Font.ITALIC));
pb.add(l, cc.xy(2, 2));
}
// Determine what type of word we are looking for.
for (Synonyms.Part i : syns.words) {
JLabel l = new JLabel(names.get(i.type + ""));
l.setFont(l.getFont().deriveFont(Font.ITALIC));
l.setFont(l.getFont().deriveFont((float) UIUtils.getEditorFontSize(10)));
l.setBorder(
new CompoundBorder(
new MatteBorder(0, 0, 1, 0, Environment.getBorderColor()),
new EmptyBorder(0, 0, 3, 0)));
pb.add(l, cc.xy(2, ind));
ind += 2;
HTMLEditorKit kit = new HTMLEditorKit();
HTMLDocument doc = (HTMLDocument) kit.createDefaultDocument();
JTextPane t = new JTextPane(doc);
t.setEditorKit(kit);
t.setEditable(false);
t.setOpaque(false);
StringBuilder buf =
new StringBuilder(
"<style>a { text-decoration: none; } a:hover { text-decoration: underline; }</style><span style='color: #000000; font-size: "
+ ((int) UIUtils.getEditorFontSize(10) /*t.getFont ().getSize () + 2*/)
+ "pt; font-family: "
+ t.getFont().getFontName()
+ ";'>");
for (int x = 0; x < i.words.size(); x++) {
String w = (String) i.words.get(x);
buf.append("<a class='x' href='http://" + w + "'>" + w + "</a>");
if (x < (i.words.size() - 1)) {
buf.append(", ");
}
}
buf.append("</span>");
t.setText(buf.toString());
t.addHyperlinkListener(
new HyperlinkAdapter() {
public void hyperlinkUpdate(HyperlinkEvent ev) {
if (ev.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
QTextEditor ed = _this.editorPanel.getEditor();
ed.replaceText(
_this.position, _this.position + _this.word.length(), ev.getURL().getHost());
ed.removeHighlight(_this.highlight);
_this.popup.setVisible(false);
_this.projectViewer.fireProjectEvent(
ProjectEvent.SYNONYM, ProjectEvent.REPLACE, ev.getURL().getHost());
}
}
});
// Annoying that we have to do this but it prevents the text from being too small.
t.setSize(new Dimension(380, Short.MAX_VALUE));
JScrollPane sp = new JScrollPane(t);
t.setCaretPosition(0);
sp.setOpaque(false);
sp.getVerticalScrollBar().setValue(0);
/*
sp.setPreferredSize (t.getPreferredSize ());
sp.setMaximumSize (new Dimension (380,
75));
*/
sp.getViewport().setOpaque(false);
sp.setOpaque(false);
sp.setBorder(null);
sp.getViewport().setBackground(Color.WHITE);
sp.setAlignmentX(Component.LEFT_ALIGNMENT);
pb.add(sp, cc.xy(2, ind));
ind += 2;
}
JPanel pan = pb.getPanel();
pan.setOpaque(true);
pan.setBackground(Color.WHITE);
this.popup.setContent(pan);
// r.y -= this.editorPanel.getScrollPane ().getVerticalScrollBar ().getValue ();
Point po = SwingUtilities.convertPoint(editor, r.x, r.y, this.editorPanel);
r.x = po.x;
r.y = po.y;
// Subtract the insets of the editorPanel.
Insets ins = this.editorPanel.getInsets();
r.x -= ins.left;
r.y -= ins.top;
this.editorPanel.showPopupAt(this.popup, r, "above", true);
}
/** Description of the Method */
public void init() {
// super.init();
size = new Dimension(570, 570);
contentPane = (JPanel) this.getContentPane();
contentPane.setLayout(borderLayout1);
Dimension d = messagePanel.getSize();
d.height += 20;
messagePanel.setPreferredSize(d);
contentPane.add(messagePanel, BorderLayout.SOUTH);
contentPane.setOpaque(true);
userPanel.setLayout(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.anchor = GridBagConstraints.WEST;
gbc.insets = new Insets(2, 2, 2, 2);
messagePanel.setLayout(borderLayout5);
contentPane.setOpaque(true);
contentPane.setBackground(Color.white);
this.setSize(size);
messagePanel.add(labelMessage, BorderLayout.NORTH);
// Logg.logg("MhClient: Före XttTree-skapande", 6);
this.mhTable = new MhTable(root, false, this.labelMessage);
// Logg.logg("MhClient: mhTable-skapande klart", 6);
this.contentPane.add(this.mhTable.splitPane, BorderLayout.CENTER);
}
public ColorPanel(Component invoker) {
super();
setTarget(invoker);
setLayout(new BorderLayout());
JPanel topLabel = new JPanel();
topLabel.setOpaque(true);
topLabel.setBackground(Color.darkGray);
// topLabel.setPreferredSize( new Dimension(getWidth() - 10, 15) );
add(topLabel, BorderLayout.NORTH);
createColorArray();
createColorPanel();
}
ApplicationFrame() {
super("Ecuatii Neliniare");
setSize(frameWidth, frameHeight);
setDefaultCloseOperation(this.EXIT_ON_CLOSE);
panel.setOpaque(true);
getContentPane().add(panel);
addComponentListener(this);
for (int i = 0; i < Methods.length; i++) ChooseMethod.addItem(Methods[i]);
buttonPanel.add(ChooseMethod);
buttonPanel.setOpaque(true);
JButton buttonAdd = new JButton("Aplica...");
buttonAdd.setPreferredSize(new Dimension(125, 25));
buttonAdd.addActionListener(this);
buttonPanel.add(buttonAdd);
unitXSlider.setMinorTickSpacing(5);
unitXSlider.setPaintTicks(true);
unitXSlider.addChangeListener(this);
unitYSlider.setMinorTickSpacing(5);
unitYSlider.setPaintTicks(true);
unitYSlider.addChangeListener(this);
buttonPanel.add(unitXSlider);
buttonPanel.add(unitYSlider);
Border padding = BorderFactory.createEmptyBorder(0, 20, 20, 20);
panel.setBorder(padding);
panel.add(buttonPanel, BorderLayout.NORTH);
panel.add(graph, BorderLayout.CENTER);
pack();
setVisible(true);
}
public JMovieControlAqua() {
// Set the background color to the border color of the buttons.
// This way the toolbar won't look too ugly when the buttons
// are displayed before they have been loaded completely.
// setBackground(new Color(118, 118, 118));
setBackground(Color.WHITE);
Dimension buttonSize = new Dimension(16, 16);
GridBagLayout gridbag = new GridBagLayout();
Insets margin = new Insets(0, 0, 0, 0);
setLayout(gridbag);
GridBagConstraints c;
ResourceBundle labels = ResourceBundle.getBundle("org.monte.media.Labels");
colorCyclingButton = new JToggleButton();
colorCyclingButton.setToolTipText(labels.getString("colorCycling.toolTipText"));
colorCyclingButton.addActionListener(this);
colorCyclingButton.setPreferredSize(buttonSize);
colorCyclingButton.setMinimumSize(buttonSize);
colorCyclingButton.setVisible(false);
colorCyclingButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 0;
// c.gridy = 0;
gridbag.setConstraints(colorCyclingButton, c);
add(colorCyclingButton);
audioButton = new JToggleButton();
audioButton.setToolTipText(labels.getString("audio.toolTipText"));
audioButton.addActionListener(this);
audioButton.setPreferredSize(buttonSize);
audioButton.setMinimumSize(buttonSize);
audioButton.setVisible(false);
audioButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 0;
// c.gridy = 0;
gridbag.setConstraints(audioButton, c);
add(audioButton);
startButton = new JToggleButton();
startButton.setToolTipText(labels.getString("play.toolTipText"));
startButton.addActionListener(this);
startButton.setPreferredSize(buttonSize);
startButton.setMinimumSize(buttonSize);
startButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 1;
// c.gridy = 0;
gridbag.setConstraints(startButton, c);
add(startButton);
slider = new JMovieSliderAqua();
c = new GridBagConstraints();
// c.gridx = 2;
// c.gridy = 0;
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1.0;
gridbag.setConstraints(slider, c);
add(slider);
rewindButton = new JButton();
rewindButton.setToolTipText(labels.getString("previous.toolTipText"));
rewindButton.setPreferredSize(buttonSize);
rewindButton.setMinimumSize(buttonSize);
rewindButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 3;
// c.gridy = 0;
gridbag.setConstraints(rewindButton, c);
add(rewindButton);
rewindButton.addActionListener(this);
forwardButton = new JButton();
forwardButton.setToolTipText(labels.getString("next.toolTipText"));
buttonSize = new Dimension(17, 16);
forwardButton.setPreferredSize(buttonSize);
forwardButton.setMinimumSize(buttonSize);
forwardButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 4;
// c.gridy = 0;
gridbag.setConstraints(forwardButton, c);
add(forwardButton);
forwardButton.addActionListener(this);
// The spacer is used when the play controls are hidden
spacer = new JPanel(new BorderLayout());
spacer.setVisible(false);
spacer.setPreferredSize(new Dimension(16, 16));
spacer.setMinimumSize(new Dimension(16, 16));
spacer.setOpaque(false);
c = new GridBagConstraints();
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1.0;
gridbag.setConstraints(spacer, c);
add(spacer);
Border border =
new BackdropBorder(
new ButtonStateBorder(
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.border.png"),
new Insets(1, 1, 1, 1),
new Insets(0, 4, 1, 4)),
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderP.png"),
new Insets(1, 1, 1, 1),
new Insets(0, 4, 1, 4))));
Border westBorder =
new BackdropBorder(
new ButtonStateBorder(
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderWest.png"),
new Insets(1, 1, 1, 0),
new Insets(0, 4, 1, 4)),
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderWestP.png"),
new Insets(1, 1, 1, 0),
new Insets(0, 4, 1, 4))));
startButton.setBorder(westBorder);
colorCyclingButton.setBorder(westBorder);
audioButton.setBorder(westBorder);
rewindButton.setBorder(westBorder);
forwardButton.setBorder(border);
startButton.setUI((ButtonUI) CustomButtonUI.createUI(startButton));
colorCyclingButton.setUI((ButtonUI) CustomButtonUI.createUI(audioButton));
audioButton.setUI((ButtonUI) CustomButtonUI.createUI(audioButton));
rewindButton.setUI((ButtonUI) CustomButtonUI.createUI(rewindButton));
forwardButton.setUI((ButtonUI) CustomButtonUI.createUI(forwardButton));
colorCyclingButton.setIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartColorCycling.png")));
colorCyclingButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartColorCycling.png")));
colorCyclingButton.setDisabledIcon(
new ImageIcon(
Images.createImage(getClass(), "images/PlayerStartColorCycling.disabled.png")));
audioButton.setIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartAudio.png")));
audioButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStopAudio.png")));
audioButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartAudio.disabled.png")));
startButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerStart.png")));
startButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStop.png")));
startButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStart.disabled.png")));
rewindButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerBack.png")));
rewindButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerBack.disabled.png")));
forwardButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerNext.png")));
forwardButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerNext.disabled.png")));
// Automatic scrolling
scrollHandler = new ScrollHandler();
scrollTimer = new Timer(60, scrollHandler);
scrollTimer.setInitialDelay(300); // default InitialDelay?
forwardButton.addMouseListener(scrollHandler);
rewindButton.addMouseListener(scrollHandler);
}
public AboutDialog(JConsole jConsole) {
super(jConsole, Resources.getText("Help.AboutDialog.title"), false);
setAccessibleDescription(this, getText("Help.AboutDialog.accessibleDescription"));
setDefaultCloseOperation(HIDE_ON_CLOSE);
setResizable(false);
JComponent cp = (JComponent) getContentPane();
createActions();
JLabel mastheadLabel = new JLabel(mastheadIcon);
setAccessibleName(mastheadLabel, getText("Help.AboutDialog.masthead.accessibleName"));
JPanel mainPanel = new TPanel(0, 0);
mainPanel.add(mastheadLabel, NORTH);
String jConsoleVersion = Version.getVersion();
String vmName = System.getProperty("java.vm.name");
String vmVersion = System.getProperty("java.vm.version");
String urlStr = getText("Help.AboutDialog.userGuideLink.url");
if (isBrowseSupported()) {
urlStr = "<a style='color:#35556b' href=\"" + urlStr + "\">" + urlStr + "</a>";
}
JPanel infoAndLogoPanel = new JPanel(new BorderLayout(10, 10));
infoAndLogoPanel.setBackground(bgColor);
String colorStr = String.format("%06x", textColor.getRGB() & 0xFFFFFF);
JEditorPane helpLink =
new JEditorPane(
"text/html",
"<html><font color=#"
+ colorStr
+ ">"
+ getText("Help.AboutDialog.jConsoleVersion", jConsoleVersion)
+ "<p>"
+ getText("Help.AboutDialog.javaVersion", (vmName + ", " + vmVersion))
+ "<p>"
+ getText("Help.AboutDialog.userGuideLink", urlStr)
+ "</html>");
helpLink.setOpaque(false);
helpLink.setEditable(false);
helpLink.setForeground(textColor);
mainPanel.setBorder(BorderFactory.createLineBorder(borderColor));
infoAndLogoPanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
helpLink.addHyperlinkListener(
new HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent e) {
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
browse(e.getDescription());
}
}
});
infoAndLogoPanel.add(helpLink, NORTH);
ImageIcon brandLogoIcon = new ImageIcon(getClass().getResource("resources/brandlogo.png"));
JLabel brandLogo = new JLabel(brandLogoIcon, JLabel.LEADING);
JButton closeButton = new JButton(closeAction);
JPanel bottomPanel = new TPanel(0, 0);
JPanel buttonPanel = new JPanel(new FlowLayout(FlowLayout.TRAILING));
buttonPanel.setOpaque(false);
mainPanel.add(infoAndLogoPanel, CENTER);
cp.add(bottomPanel, SOUTH);
infoAndLogoPanel.add(brandLogo, SOUTH);
buttonPanel.setBorder(new EmptyBorder(2, 12, 2, 12));
buttonPanel.add(closeButton);
bottomPanel.add(buttonPanel, NORTH);
statusBar = new JLabel(" ");
bottomPanel.add(statusBar, SOUTH);
cp.add(mainPanel, NORTH);
pack();
setLocationRelativeTo(jConsole);
Utilities.updateTransparency(this);
}
public SyntaxTab() {
super(new BorderLayout(), "Syntax highlighting");
/*
* upper checkboxes
*/
JPanel upper = new JPanel(new GridLayout(2, 1, 0, 0));
upper.setOpaque(false);
upper.add(MyPanel.wrap(highlightSyntax));
upper.add(MyPanel.wrap(matchBracket));
highlightSyntax.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent ev) {
SyntaxTab.this.updateComponentStatus();
}
});
this.add(upper, BorderLayout.PAGE_START);
/*
* upper panel (painters)
*/
painterComboBox.setSelectedItem(myjava.gui.syntax.Painter.getCurrentInstance());
painterComboBox.setFont(f13);
if (isMetal) painterComboBox.setBackground(Color.WHITE);
painterComboBox.addItemListener(this.painterChangeListener);
JButton addPainter =
new MyButton("+") {
{
if (isMetal) {
this.setPreferredSize(new Dimension(28, 28));
}
}
@Override
public void actionPerformed(ActionEvent ev) {
String name;
do {
name =
JOptionPane.showInputDialog(
SyntaxTab.this, "Enter a name:", "Name", JOptionPane.QUESTION_MESSAGE);
} while (!myjava.gui.syntax.Painter.isValidPrompt(name, SyntaxTab.this));
if ((name != null) && (!name.isEmpty())) {
// name is valid, neither cancelled nor pressed enter directly
myjava.gui.syntax.Painter newPainter =
((myjava.gui.syntax.Painter) (painterComboBox.getSelectedItem()))
.newInstance(name);
addPainter(newPainter);
System.out.println("now set, should call listener");
painterComboBox.setSelectedItem(newPainter); // auto-call ItemListener(s)
}
}
};
JButton removePainter =
new MyButton("-") {
{
if (isMetal) {
this.setPreferredSize(new Dimension(28, 28));
}
}
@Override
public void actionPerformed(ActionEvent ev) {
myjava.gui.syntax.Painter painter =
(myjava.gui.syntax.Painter) (painterComboBox.getSelectedItem());
if (painter.equals(myjava.gui.syntax.Painter.getDefaultInstance())) {
JOptionPane.showMessageDialog(
SyntaxTab.this,
"The default painter cannot be removed.",
"Error",
JOptionPane.ERROR_MESSAGE);
} else {
int option =
JOptionPane.showConfirmDialog(
SyntaxTab.this,
"Remove painter \"" + painter.getName() + "\"?",
"Confirm",
JOptionPane.YES_NO_OPTION);
if (option == JOptionPane.YES_OPTION) {
// remove "painter"
removedPainters.add(painter);
painterComboBox.removeItemListener(painterChangeListener);
painterComboBox.setSelectedItem(myjava.gui.syntax.Painter.getDefaultInstance());
painterComboBox.removeItem(painter);
for (Iterator<EntryListPanel> it = listPanelSet.iterator(); it.hasNext(); ) {
EntryListPanel panel = it.next();
if (panel.getPainter().getName().equals(painter.getName())) {
System.out.println("removing, then break");
it.remove();
centerPanel.remove(panel);
break;
}
}
painterComboBox.addItemListener(painterChangeListener);
cardLayout.show(
centerPanel, myjava.gui.syntax.Painter.getDefaultInstance().getName());
}
}
}
};
// lower part
JPanel center = new JPanel(new BorderLayout());
JLabel selectLabel = new MyLabel("Selected painter:");
center.add(
MyPanel.wrap(MyPanel.CENTER, selectLabel, painterComboBox, addPainter, removePainter),
BorderLayout.PAGE_START);
componentSet.addAll(Arrays.asList(selectLabel, addPainter, removePainter));
center.add(centerPanel, BorderLayout.CENTER);
this.add(center, BorderLayout.CENTER);
cardLayout.show(centerPanel, myjava.gui.syntax.Painter.getCurrentInstance().getName());
}