/** OptionPaneDemo Constructor */
public OptionPaneDemo(SwingSet2 swingset) {
// Set the title for this demo, and an icon used to represent this
// demo inside the SwingSet2 app.
super(swingset, "OptionPaneDemo", "toolbar/JOptionPane.gif");
JPanel demo = getDemoPanel();
demo.setLayout(new BoxLayout(demo, BoxLayout.X_AXIS));
JPanel bp =
new JPanel() {
public Dimension getMaximumSize() {
return new Dimension(getPreferredSize().width, super.getMaximumSize().height);
}
};
bp.setLayout(new BoxLayout(bp, BoxLayout.Y_AXIS));
bp.add(Box.createRigidArea(VGAP30));
bp.add(Box.createRigidArea(VGAP30));
bp.add(createInputDialogButton());
bp.add(Box.createRigidArea(VGAP15));
bp.add(createWarningDialogButton());
bp.add(Box.createRigidArea(VGAP15));
bp.add(createMessageDialogButton());
bp.add(Box.createRigidArea(VGAP15));
bp.add(createComponentDialogButton());
bp.add(Box.createRigidArea(VGAP15));
bp.add(createConfirmDialogButton());
bp.add(Box.createVerticalGlue());
demo.add(Box.createHorizontalGlue());
demo.add(bp);
demo.add(Box.createHorizontalGlue());
}
void initComponents() {
JPanel mainPanel = new JPanel(new BorderLayout());
JPanel buttonPanel = new JPanel();
buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.X_AXIS));
Color bgColor = Color.getHSBColor(0.58f, 0.17f, 0.95f);
buttonPanel.setBackground(bgColor);
Border empty = BorderFactory.createEmptyBorder(5, 5, 5, 5);
buttonPanel.setBorder(empty);
textField = new JTextField(75);
buttonPanel.add(textField);
buttonPanel.add(Box.createHorizontalStrut(10));
searchPHI = new JButton("Search PHI");
searchPHI.addActionListener(this);
buttonPanel.add(searchPHI);
buttonPanel.add(Box.createHorizontalStrut(10));
searchTrial = new JButton("Search Trial IDs");
searchTrial.addActionListener(this);
buttonPanel.add(searchTrial);
buttonPanel.add(Box.createHorizontalStrut(20));
buttonPanel.add(Box.createHorizontalGlue());
saveAs = new JCheckBox("Save As...");
saveAs.setBackground(bgColor);
buttonPanel.add(saveAs);
mainPanel.add(buttonPanel, BorderLayout.NORTH);
JScrollPane scrollPane = new JScrollPane();
textPane = new ColorPane();
// textPane.setEditable(false);
scrollPane.setViewportView(textPane);
mainPanel.add(scrollPane, BorderLayout.CENTER);
JPanel footerPanel = new JPanel();
footerPanel.setLayout(new BoxLayout(footerPanel, BoxLayout.X_AXIS));
footerPanel.setBackground(bgColor);
message = new JLabel("Ready...");
footerPanel.add(message);
mainPanel.add(footerPanel, BorderLayout.SOUTH);
setTitle(windowTitle);
addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent evt) {
System.exit(0);
}
});
getContentPane().add(mainPanel, BorderLayout.CENTER);
pack();
centerFrame();
}
public void createFileChooserDemo() {
theImage = new JLabel("");
jpgIcon = createImageIcon("filechooser/jpgIcon.jpg", "jpg image");
gifIcon = createImageIcon("filechooser/gifIcon.gif", "gif image");
JPanel demoPanel = getDemoPanel();
demoPanel.setLayout(new BoxLayout(demoPanel, BoxLayout.Y_AXIS));
JPanel innerPanel = new JPanel();
innerPanel.setLayout(new BoxLayout(innerPanel, BoxLayout.X_AXIS));
demoPanel.add(Box.createRigidArea(VGAP20));
demoPanel.add(innerPanel);
demoPanel.add(Box.createRigidArea(VGAP20));
innerPanel.add(Box.createRigidArea(HGAP20));
// Create a panel to hold buttons
JPanel buttonPanel =
new JPanel() {
public Dimension getMaximumSize() {
return new Dimension(getPreferredSize().width, super.getMaximumSize().height);
}
};
buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.Y_AXIS));
buttonPanel.add(Box.createRigidArea(VGAP15));
buttonPanel.add(createPlainFileChooserButton());
buttonPanel.add(Box.createRigidArea(VGAP15));
buttonPanel.add(createPreviewFileChooserButton());
buttonPanel.add(Box.createRigidArea(VGAP15));
buttonPanel.add(createCustomFileChooserButton());
buttonPanel.add(Box.createVerticalGlue());
// Create a panel to hold the image
JPanel imagePanel = new JPanel();
imagePanel.setLayout(new BorderLayout());
imagePanel.setBorder(new BevelBorder(BevelBorder.LOWERED));
JScrollPane scroller = new JScrollPane(theImage);
scroller.getVerticalScrollBar().setUnitIncrement(10);
scroller.getHorizontalScrollBar().setUnitIncrement(10);
imagePanel.add(scroller, BorderLayout.CENTER);
// add buttons and image panels to inner panel
innerPanel.add(buttonPanel);
innerPanel.add(Box.createRigidArea(HGAP30));
innerPanel.add(imagePanel);
innerPanel.add(Box.createRigidArea(HGAP20));
}
/**
* Creates the query panel and returns it to the content pane to be added.
*
* @return The constructed query panel.
*/
public JPanel createQueryPane() {
// Set up the panel.
queryPane = new JPanel();
// Create the comboboxes
catCb1 = new JComboBox<String>(categories);
catCb2 = new JComboBox<String>(categories);
queryPane.setLayout(new BoxLayout(queryPane, BoxLayout.X_AXIS));
// Add components to the panel.
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
queryPane.add(new JLabel("Are there more users who looked at "));
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
queryPane.add(catCb1);
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
queryPane.add(new JLabel(" than "));
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
queryPane.add(catCb2);
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
queryPane.add(new JLabel("?"));
queryPane.add(Box.createRigidArea(new Dimension(10, 0)));
return queryPane;
}
/**
* Creates the button panel with the query and reset buttons in a box layout.
*
* @return The constructed button panel.
*/
public JPanel createButtonPane() {
// Set up the panel.
buttonPane = new JPanel();
queryBtn = new JButton("Query");
// Create and add action listener to query and reset buttons.
queryBtn.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
parentCS.requestQuery(2, catCb1.getSelectedIndex(), catCb2.getSelectedIndex());
}
});
resetBtn = new JButton("Reset");
resetBtn.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
parentCS.switchContext(-1);
}
});
buttonPane.setLayout(new BoxLayout(buttonPane, BoxLayout.X_AXIS));
// Add buttons to panel.
buttonPane.add(queryBtn);
buttonPane.add(Box.createRigidArea(new Dimension(10, 0)));
buttonPane.add(resetBtn);
return buttonPane;
}
/**
* Procedure to create the vector of panels that will be used when locating sliders on the frame.
*/
void createPanelVector() {
int i = 0;
JPanel panel;
for (i = 0; i < ROWS; i++) {
panel = new JPanel();
panel.setLayout(new GridLayout(1, 0));
vSubPanel.addElement(panel);
}
}
public UserDirectoryDialog(int nBuild) {
super("View Directories");
initBlink();
try {
// UIManager.setLookAndFeel( "javax.swing.plaf.metal.MetalLookAndFeel" );
} catch (Exception exc) {
System.out.println("Error loading L&F: " + exc);
}
AppIF appIf = Util.getAppIF();
if (appIf instanceof VAdminIF) m_adminIF = (VAdminIF) appIf;
if (nBuild == BUILD_ALL) {
JPanel left = new JPanel();
left.setOpaque(true);
left.setLayout(new BorderLayout());
left.add(new ConstraintsPanel(), BorderLayout.CENTER);
JPanel right = new JPanel();
right.setLayout(new BorderLayout());
right.setOpaque(true);
// right.setBackground( Color.white );
JTreeTableAdmin treeTable = new JTreeTableAdmin(new FileSystemModelAdmin());
right.add(new JScrollPane(treeTable), BorderLayout.CENTER);
JSplitPane pane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, left, right);
pane.setContinuousLayout(true);
pane.setOneTouchExpandable(true);
getContentPane().add(pane, BorderLayout.CENTER);
}
m_mlTxf =
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (timer != null) timer.cancel();
if (e.getSource() instanceof JTextField) {
JTextField txf2 = (JTextField) e.getSource();
String strTxt = txf2.getText();
if (strTxt != null && strTxt.equals(INFOSTR)) txf2.setText("");
}
}
};
}
/**
* Constructor for the RingFoilPosController object
*
* @param updatingController_in The Parameter
*/
public RingFoilPosController(UpdatingEventController updatingController_in) {
updatingController = updatingController_in;
ringFoilPosCorr = new RingFoilPosCorrector("HORIZONTAL Ring Beam Position at Foil");
ringFoilPosCorr.setMessageText(getMessageText());
ringFoilPosMainPanel.setLayout(new BorderLayout());
ringFoilPosMainPanel.add(ringFoilPosCorr.getPanel(), BorderLayout.CENTER);
}
public JPanel makeFileTable() {
JPanel right = new JPanel();
right.setLayout(new BorderLayout());
right.setOpaque(true);
// right.setBackground( Color.white );
JTreeTableAdmin treeTable = new JTreeTableAdmin(new FileSystemModelAdmin());
right.add(new JScrollPane(treeTable), BorderLayout.CENTER);
return right;
}
public FigurePanel() {
setLayout(new BorderLayout());
JPanel panel = new JPanel();
panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
panel.add(fs);
panel.add(bp);
JSplitPane sp = new JSplitPane(JSplitPane.VERTICAL_SPLIT, panel, cp);
sp.setPreferredSize(new Dimension(500, 400));
sp.setDividerLocation(250);
add(BorderLayout.CENTER, sp);
}
private JPanel buildStatusBar() {
// build the status bar. this sits at
// the bottom of the window and indicates
// the status of the last operation and
// the current line number.
JPanel panel = new JPanel();
panel.setLayout(new BorderLayout());
panel.add(statusView, BorderLayout.WEST);
panel.add(lineNumberView, BorderLayout.EAST);
return panel;
}
boolean initControlCenter(String title) {
this.setTitle(title);
// set up content pane
Container content = this.getContentPane();
content.setLayout(new BorderLayout());
panelAbout.setLayout(new BorderLayout());
JTextArea textArea =
new JTextArea(
"PlayStation 2 Virtual File System release 1.0 \n\nSpecials thanks to our betatester\nPS2Linux Betatester: Mrbrown and Sarah\nPS2 betatester: Oobles, Caveman, Gamebytes, Ping^Spike, Josekenshin, Padawan, pakor, SandraThx and Rolando\n\nAdded little gui in java swing\nAdded feature to choose directory for media files\nAdded support for properties files\nCheck for updates at ps2dev.org\n\nRelease 1.2\n\nRewrite io with java NIO\nadded console mode support\n");
textArea.setEditable(false);
JScrollPane areaScrollPane = new JScrollPane(textArea);
areaScrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
areaScrollPane.setPreferredSize(new Dimension(250, 250));
TitledBorder aboutBorder = BorderFactory.createTitledBorder("Change log and Greets");
aboutBorder.setTitleColor(Color.blue);
panelAbout.setBorder(aboutBorder);
panelAbout.add(areaScrollPane);
// set up tabbed pane
content.add(jtpMain);
jtpMain.addTab("Configure", panelChooser);
jtpMain.addTab("About", panelAbout);
// set up display area
// jtaDisplay.setEditable(false);
// jtaDisplay.setLineWrap(true);
// jtaDisplay.setMargin(new Insets(5, 5, 5, 5));
// jtaDisplay.setFont(
// new Font("Monospaced", Font.PLAIN, iDEFAULT_FontSize));
// jspDisplay.setViewportView(jtaDisplay);
// jspDisplay.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS );
// panelConsole.add(jspDisplay, BorderLayout.CENTER);
// panelConsole.add(jtfCommand, BorderLayout.SOUTH);
// panelConsole.add(jtaDisplay, BorderLayout.CENTER);
// listener: window closer
this.addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent e) {
System.exit(0);
}
});
this.vResize();
return true;
}
private void initialise() {
setSize(180, 120);
setLocation(300, 200);
setTitle("Working...");
setVisible(false);
setModal(true);
setResizable(false);
setDefaultCloseOperation(0);
_stopped = false;
getContentPane().setLayout(new BorderLayout());
JPanel topPanel = new JPanel();
topPanel.setLayout(new BorderLayout());
busyTextLabel = new JLabel("Busy - please wait");
topPanel.add(busyTextLabel, "Center");
busyIcon = FTAUtilities.loadImageIcon("busy.gif");
busyIconLabel = new JLabel(busyIcon);
topPanel.add(busyIconLabel, "West");
progressBar = new JProgressBar();
topPanel.add(progressBar, "South");
getContentPane().add(topPanel);
stopButton = new JButton("Stop");
stopButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
// System.out.println("'Stop' button pressed");
_stopped = true;
}
});
this.addWindowListener(
new WindowAdapter() {
public void windowClosing(WindowEvent e) {
_stopped = true;
}
});
// create panel to hold buttons
JPanel buttonPanel = new JPanel(new FlowLayout());
buttonPanel.add(stopButton);
getContentPane().add(buttonPanel, BorderLayout.SOUTH);
}
@SuppressWarnings("OverridableMethodCallInConstructor")
Notepad() {
super(true);
// Trying to set Nimbus look and feel
try {
for (LookAndFeelInfo info : UIManager.getInstalledLookAndFeels()) {
if ("Nimbus".equals(info.getName())) {
UIManager.setLookAndFeel(info.getClassName());
break;
}
}
} catch (Exception ignored) {
}
setBorder(BorderFactory.createEtchedBorder());
setLayout(new BorderLayout());
// create the embedded JTextComponent
editor = createEditor();
// Add this as a listener for undoable edits.
editor.getDocument().addUndoableEditListener(undoHandler);
// install the command table
commands = new HashMap<Object, Action>();
Action[] actions = getActions();
for (Action a : actions) {
commands.put(a.getValue(Action.NAME), a);
}
JScrollPane scroller = new JScrollPane();
JViewport port = scroller.getViewport();
port.add(editor);
String vpFlag = getProperty("ViewportBackingStore");
if (vpFlag != null) {
Boolean bs = Boolean.valueOf(vpFlag);
port.setScrollMode(bs ? JViewport.BACKINGSTORE_SCROLL_MODE : JViewport.BLIT_SCROLL_MODE);
}
JPanel panel = new JPanel();
panel.setLayout(new BorderLayout());
panel.add("North", createToolbar());
panel.add("Center", scroller);
add("Center", panel);
add("South", createStatusbar());
}
/** this builds the Window */
private void buildWindow() {
JPanel base = new JPanel();
base.setLayout(new BorderLayout());
menuBar = new Maze2DMenuBar(this);
paramPanel = new ParameterPanel(this);
imagePanel = new DrawingPanel();
logPanel = new LogPanel();
// infoPane = new JTextPane();
// infoPane.setBorder(BorderFactory.createLoweredBevelBorder());
base.add(menuBar, BorderLayout.PAGE_START);
base.add(imagePanel, BorderLayout.CENTER);
base.add(paramPanel, BorderLayout.LINE_END);
base.add(logPanel, BorderLayout.PAGE_END);
setContentPane(base);
setMinimumSize(new Dimension(300, 256));
}
/**
* Creates the content panel for the GUI. It first creates the bottom level panel and then builds
* the query panel and the button panel on top of it.
*
* @return The content panel for the GUI.
*/
public JPanel createContentPane() {
// Bottom panel that everything gets placed on.
JPanel totalGUIPane = new JPanel();
totalGUIPane.setLayout(new BoxLayout(totalGUIPane, BoxLayout.PAGE_AXIS));
// Define the dimensions of the filler space between components.
Dimension minSize = new Dimension(10, 10);
Dimension prefSize = new Dimension(10, 10);
Dimension maxSize = new Dimension(Short.MAX_VALUE, 10);
// Add components to the content panel.
totalGUIPane.add(new Box.Filler(minSize, prefSize, maxSize));
totalGUIPane.add(createQueryPane());
totalGUIPane.add(new Box.Filler(minSize, prefSize, maxSize));
totalGUIPane.add(createButtonPane());
totalGUIPane.add(new Box.Filler(minSize, prefSize, maxSize));
totalGUIPane.setOpaque(true);
return totalGUIPane;
}
public OptionFrame(JFrame f) {
super("Options");
setSize(320, 240);
setResizable(false);
options = new JTabbedPane();
op1 = new JPanel();
op1.setLayout(new GridLayout(6, 2));
op1.add(new JLabel("Run:"));
op1.add(new JTextField());
op1.add(new JLabel("Reset JVM:"));
op1.add(new JTextField());
op1.add(new JLabel("Open options:"));
op1.add(new JTextField());
op1.add(new JLabel("Toggle terminal:"));
op1.add(new JTextField());
op2 = new JPanel();
options.addTab("Key bindings", op1);
options.addTab("Preferences", op2);
add(options);
setLocationRelativeTo(f); // Makes this pop up in the center of the frame
setVisible(true);
}
public void init() {
// 添加按钮
JPanel buttonPanel = new JPanel();
buttonPanel.add(okButton);
mainPanel.setLayout(new GridLayout(0, 3));
mainWin.add(mainPanel, BorderLayout.CENTER);
JFormattedTextField intField0 =
new JFormattedTextField(
new InternationalFormatter(NumberFormat.getIntegerInstance()) {
protected DocumentFilter getDocumentFilter() {
return new NumberFilter();
}
});
intField0.setValue(100);
addRow("只接受数字的文本框", intField0);
JFormattedTextField intField1 = new JFormattedTextField(NumberFormat.getIntegerInstance());
intField1.setValue(new Integer(100));
// 添加输入校验器
intField1.setInputVerifier(new FormattedTextFieldVerifier());
addRow("带输入校验器的文本框", intField1);
// 创建自定义格式器对象
IPAddressFormatter ipFormatter = new IPAddressFormatter();
ipFormatter.setOverwriteMode(false);
// 以自定义格式器对象创建格式化文本框
JFormattedTextField ipField = new JFormattedTextField(ipFormatter);
ipField.setValue(new byte[] {(byte) 192, (byte) 168, 4, 1});
addRow("IP地址格式", ipField);
mainWin.add(buttonPanel, BorderLayout.SOUTH);
mainWin.pack();
mainWin.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
mainWin.setVisible(true);
}
public FormatTestFrame() {
JPanel buttonPanel = new JPanel();
okButton = new JButton("Ok");
buttonPanel.add(okButton);
add(buttonPanel, BorderLayout.SOUTH);
mainPanel = new JPanel();
mainPanel.setLayout(new GridLayout(0, 3));
add(mainPanel, BorderLayout.CENTER);
JFormattedTextField intField = new JFormattedTextField(NumberFormat.getIntegerInstance());
intField.setValue(new Integer(100));
addRow("Number:", intField);
JFormattedTextField intField2 = new JFormattedTextField(NumberFormat.getIntegerInstance());
intField2.setValue(new Integer(100));
intField2.setFocusLostBehavior(JFormattedTextField.COMMIT);
addRow("Number (Commit behavior):", intField2);
JFormattedTextField intField3 =
new JFormattedTextField(
new InternationalFormatter(NumberFormat.getIntegerInstance()) {
protected DocumentFilter getDocumentFilter() {
return filter;
}
});
intField3.setValue(new Integer(100));
addRow("Filtered Number", intField3);
JFormattedTextField intField4 = new JFormattedTextField(NumberFormat.getIntegerInstance());
intField4.setValue(new Integer(100));
intField4.setInputVerifier(
new InputVerifier() {
public boolean verify(JComponent component) {
JFormattedTextField field = (JFormattedTextField) component;
return field.isEditValid();
}
});
addRow("Verified Number:", intField4);
JFormattedTextField currencyField = new JFormattedTextField(NumberFormat.getCurrencyInstance());
currencyField.setValue(new Double(10));
addRow("Currency:", currencyField);
JFormattedTextField dateField = new JFormattedTextField(DateFormat.getDateInstance());
dateField.setValue(new Date());
addRow("Date (default):", dateField);
DateFormat format = DateFormat.getDateInstance(DateFormat.SHORT);
format.setLenient(false);
JFormattedTextField dateField2 = new JFormattedTextField(format);
dateField2.setValue(new Date());
addRow("Date (short, not lenient):", dateField2);
try {
DefaultFormatter formatter = new DefaultFormatter();
formatter.setOverwriteMode(false);
JFormattedTextField urlField = new JFormattedTextField(formatter);
urlField.setValue(new URL("http://java.sun.com"));
addRow("URL:", urlField);
} catch (MalformedURLException ex) {
ex.printStackTrace();
}
try {
MaskFormatter formatter = new MaskFormatter("###-##-####");
formatter.setPlaceholderCharacter('0');
JFormattedTextField ssnField = new JFormattedTextField(formatter);
ssnField.setValue("078-05-1120");
addRow("SSN Mask:", ssnField);
} catch (ParseException ex) {
ex.printStackTrace();
}
JFormattedTextField ipField = new JFormattedTextField(new IPAddressFormatter());
ipField.setValue(new byte[] {(byte) 130, 65, 86, 66});
addRow("IP Address:", ipField);
pack();
}
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 DocumentationComponent(
final DocumentationManager manager, final AnAction[] additionalActions) {
myManager = manager;
myIsEmpty = true;
myIsShown = false;
myEditorPane =
new JEditorPane(UIUtil.HTML_MIME, "") {
@Override
public Dimension getPreferredScrollableViewportSize() {
if (getWidth() == 0 || getHeight() == 0) {
setSize(MAX_WIDTH, MAX_HEIGHT);
}
Insets ins = myEditorPane.getInsets();
View rootView = myEditorPane.getUI().getRootView(myEditorPane);
rootView.setSize(
MAX_WIDTH,
MAX_HEIGHT); // Necessary! Without this line, size will not increase then you go
// from small page to bigger one
int prefHeight = (int) rootView.getPreferredSpan(View.Y_AXIS);
prefHeight +=
ins.bottom
+ ins.top
+ myScrollPane.getHorizontalScrollBar().getMaximumSize().height;
return new Dimension(MAX_WIDTH, Math.max(MIN_HEIGHT, Math.min(MAX_HEIGHT, prefHeight)));
}
{
enableEvents(AWTEvent.KEY_EVENT_MASK);
}
@Override
protected void processKeyEvent(KeyEvent e) {
KeyStroke keyStroke = KeyStroke.getKeyStrokeForEvent(e);
ActionListener listener = myKeyboardActions.get(keyStroke);
if (listener != null) {
listener.actionPerformed(new ActionEvent(DocumentationComponent.this, 0, ""));
e.consume();
return;
}
super.processKeyEvent(e);
}
@Override
protected void paintComponent(Graphics g) {
GraphicsUtil.setupAntialiasing(g);
super.paintComponent(g);
}
};
DataProvider helpDataProvider =
new DataProvider() {
@Override
public Object getData(@NonNls String dataId) {
return PlatformDataKeys.HELP_ID.is(dataId) ? DOCUMENTATION_TOPIC_ID : null;
}
};
myEditorPane.putClientProperty(DataManager.CLIENT_PROPERTY_DATA_PROVIDER, helpDataProvider);
myText = "";
myEditorPane.setEditable(false);
myEditorPane.setBackground(HintUtil.INFORMATION_COLOR);
myEditorPane.setEditorKit(UIUtil.getHTMLEditorKit());
myScrollPane =
new JBScrollPane(myEditorPane) {
@Override
protected void processMouseWheelEvent(MouseWheelEvent e) {
if (!EditorSettingsExternalizable.getInstance().isWheelFontChangeEnabled()
|| !EditorUtil.isChangeFontSize(e)) {
super.processMouseWheelEvent(e);
return;
}
int change = Math.abs(e.getWheelRotation());
boolean increase = e.getWheelRotation() <= 0;
EditorColorsManager colorsManager = EditorColorsManager.getInstance();
EditorColorsScheme scheme = colorsManager.getGlobalScheme();
FontSize newFontSize = scheme.getQuickDocFontSize();
for (; change > 0; change--) {
if (increase) {
newFontSize = newFontSize.larger();
} else {
newFontSize = newFontSize.smaller();
}
}
if (newFontSize == scheme.getQuickDocFontSize()) {
return;
}
scheme.setQuickDocFontSize(newFontSize);
applyFontSize();
setFontSizeSliderSize(newFontSize);
}
};
myScrollPane.setBorder(null);
myScrollPane.putClientProperty(DataManager.CLIENT_PROPERTY_DATA_PROVIDER, helpDataProvider);
final MouseAdapter mouseAdapter =
new MouseAdapter() {
@Override
public void mousePressed(MouseEvent e) {
myManager.requestFocus();
myShowSettingsButton.hideSettings();
}
};
myEditorPane.addMouseListener(mouseAdapter);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeMouseListener(mouseAdapter);
}
});
final FocusAdapter focusAdapter =
new FocusAdapter() {
@Override
public void focusLost(FocusEvent e) {
Component previouslyFocused =
WindowManagerEx.getInstanceEx()
.getFocusedComponent(manager.getProject(getElement()));
if (!(previouslyFocused == myEditorPane)) {
if (myHint != null && !myHint.isDisposed()) myHint.cancel();
}
}
};
myEditorPane.addFocusListener(focusAdapter);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeFocusListener(focusAdapter);
}
});
setLayout(new BorderLayout());
JLayeredPane layeredPane =
new JBLayeredPane() {
@Override
public void doLayout() {
final Rectangle r = getBounds();
for (Component component : getComponents()) {
if (component instanceof JScrollPane) {
component.setBounds(0, 0, r.width, r.height);
} else {
int insets = 2;
Dimension d = component.getPreferredSize();
component.setBounds(r.width - d.width - insets, insets, d.width, d.height);
}
}
}
@Override
public Dimension getPreferredSize() {
Dimension editorPaneSize = myEditorPane.getPreferredScrollableViewportSize();
Dimension controlPanelSize = myControlPanel.getPreferredSize();
return new Dimension(
Math.max(editorPaneSize.width, controlPanelSize.width),
editorPaneSize.height + controlPanelSize.height);
}
};
layeredPane.add(myScrollPane);
layeredPane.setLayer(myScrollPane, 0);
mySettingsPanel = createSettingsPanel();
layeredPane.add(mySettingsPanel);
layeredPane.setLayer(mySettingsPanel, JLayeredPane.POPUP_LAYER);
add(layeredPane, BorderLayout.CENTER);
setOpaque(true);
myScrollPane.setViewportBorder(JBScrollPane.createIndentBorder());
final DefaultActionGroup actions = new DefaultActionGroup();
final BackAction back = new BackAction();
final ForwardAction forward = new ForwardAction();
actions.add(back);
actions.add(forward);
actions.add(myExternalDocAction = new ExternalDocAction());
back.registerCustomShortcutSet(CustomShortcutSet.fromString("LEFT"), this);
forward.registerCustomShortcutSet(CustomShortcutSet.fromString("RIGHT"), this);
myExternalDocAction.registerCustomShortcutSet(CustomShortcutSet.fromString("UP"), this);
if (additionalActions != null) {
for (final AnAction action : additionalActions) {
actions.add(action);
}
}
myToolBar =
ActionManager.getInstance()
.createActionToolbar(ActionPlaces.JAVADOC_TOOLBAR, actions, true);
myControlPanel = new JPanel();
myControlPanel.setLayout(new BorderLayout());
myControlPanel.setBorder(IdeBorderFactory.createBorder(SideBorder.BOTTOM));
JPanel dummyPanel = new JPanel();
myElementLabel = new JLabel();
dummyPanel.setLayout(new BorderLayout());
dummyPanel.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 5));
dummyPanel.add(myElementLabel, BorderLayout.EAST);
myControlPanel.add(myToolBar.getComponent(), BorderLayout.WEST);
myControlPanel.add(dummyPanel, BorderLayout.CENTER);
myControlPanel.add(myShowSettingsButton = new MyShowSettingsButton(), BorderLayout.EAST);
myControlPanelVisible = false;
final HyperlinkListener hyperlinkListener =
new HyperlinkListener() {
@Override
public void hyperlinkUpdate(HyperlinkEvent e) {
HyperlinkEvent.EventType type = e.getEventType();
if (type == HyperlinkEvent.EventType.ACTIVATED) {
manager.navigateByLink(DocumentationComponent.this, e.getDescription());
}
}
};
myEditorPane.addHyperlinkListener(hyperlinkListener);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeHyperlinkListener(hyperlinkListener);
}
});
registerActions();
updateControlState();
}
private void jbInit() throws Exception {
saveButton.setText("Save");
saveButton.addActionListener(new PrintfTemplateEditor_saveButton_actionAdapter(this));
cancelButton.setText("Cancel");
cancelButton.addActionListener(new PrintfTemplateEditor_cancelButton_actionAdapter(this));
this.setTitle(this.getTitle() + " Template Editor");
printfPanel.setLayout(gridBagLayout1);
formatLabel.setFont(new java.awt.Font("DialogInput", 0, 12));
formatLabel.setText("Format String:");
buttonPanel.setLayout(flowLayout1);
printfPanel.setBorder(BorderFactory.createEtchedBorder());
printfPanel.setMinimumSize(new Dimension(100, 160));
printfPanel.setPreferredSize(new Dimension(380, 160));
parameterPanel.setLayout(gridBagLayout2);
parameterLabel.setText("Parameters:");
parameterLabel.setFont(new java.awt.Font("DialogInput", 0, 12));
parameterTextArea.setMinimumSize(new Dimension(100, 25));
parameterTextArea.setPreferredSize(new Dimension(200, 25));
parameterTextArea.setEditable(true);
parameterTextArea.setText("");
insertButton.setMaximumSize(new Dimension(136, 20));
insertButton.setMinimumSize(new Dimension(136, 20));
insertButton.setPreferredSize(new Dimension(136, 20));
insertButton.setToolTipText(
"insert the format in the format string and add parameter to list.");
insertButton.setText("Insert Parameter");
insertButton.addActionListener(new PrintfTemplateEditor_insertButton_actionAdapter(this));
formatTextArea.setMinimumSize(new Dimension(100, 25));
formatTextArea.setPreferredSize(new Dimension(200, 15));
formatTextArea.setText("");
parameterPanel.setBorder(null);
parameterPanel.setMinimumSize(new Dimension(60, 40));
parameterPanel.setPreferredSize(new Dimension(300, 40));
insertMatchButton.addActionListener(
new PrintfTemplateEditor_insertMatchButton_actionAdapter(this));
insertMatchButton.setText("Insert Match");
insertMatchButton.setToolTipText(
"insert the match in the format string and add parameter to list.");
insertMatchButton.setPreferredSize(new Dimension(136, 20));
insertMatchButton.setMinimumSize(new Dimension(136, 20));
insertMatchButton.setMaximumSize(new Dimension(136, 20));
matchPanel.setPreferredSize(new Dimension(300, 40));
matchPanel.setBorder(null);
matchPanel.setMinimumSize(new Dimension(60, 60));
matchPanel.setLayout(gridBagLayout3);
InsertPanel.setLayout(gridLayout1);
gridLayout1.setColumns(1);
gridLayout1.setRows(2);
gridLayout1.setVgap(0);
InsertPanel.setBorder(BorderFactory.createEtchedBorder());
InsertPanel.setMinimumSize(new Dimension(100, 100));
InsertPanel.setPreferredSize(new Dimension(380, 120));
editorPane.setText("");
editorPane.addKeyListener(new PrintfEditor_editorPane_keyAdapter(this));
printfTabPane.addChangeListener(new PrintfEditor_printfTabPane_changeAdapter(this));
parameterPanel.add(
insertButton,
new GridBagConstraints(
1,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(8, 6, 13, 8),
0,
10));
parameterPanel.add(
paramComboBox,
new GridBagConstraints(
0,
0,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(8, 8, 13, 0),
258,
11));
paramComboBox.setRenderer(new MyCellRenderer());
InsertPanel.add(matchPanel, null);
InsertPanel.add(parameterPanel, null);
buttonPanel.add(cancelButton, null);
buttonPanel.add(saveButton, null);
this.getContentPane().add(printfTabPane, BorderLayout.NORTH);
this.getContentPane().add(InsertPanel, BorderLayout.CENTER);
matchPanel.add(
insertMatchButton,
new GridBagConstraints(
1,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(8, 6, 13, 8),
0,
10));
matchPanel.add(
matchComboBox,
new GridBagConstraints(
0,
0,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(8, 8, 13, 0),
258,
11));
printfPanel.add(
parameterLabel,
new GridBagConstraints(
0,
2,
1,
1,
0.0,
0.0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(7, 5, 0, 5),
309,
0));
printfPanel.add(
formatLabel,
new GridBagConstraints(
0,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(4, 5, 0, 5),
288,
0));
printfPanel.add(
formatTextArea,
new GridBagConstraints(
0,
1,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(6, 5, 0, 5),
300,
34));
printfPanel.add(
parameterTextArea,
new GridBagConstraints(
0,
3,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(6, 5, 6, 5),
300,
34));
printfTabPane.addTab("Editor View", null, editorPanel, "View in Editor");
printfTabPane.addTab("Printf View", null, printfPanel, "Vies as Printf");
editorPane.setCharacterAttributes(PLAIN_ATTR, true);
editorPane.addStyle("PLAIN", editorPane.getLogicalStyle());
editorPanel.getViewport().add(editorPane, null);
this.getContentPane().add(buttonPanel, BorderLayout.SOUTH);
buttonGroup.add(cancelButton);
}
/**
* Creates an instance of <tt>ShowPreviewDialog</tt>
*
* @param chatPanel The <tt>ChatConversationPanel</tt> that is associated with this dialog.
*/
ShowPreviewDialog(final ChatConversationPanel chatPanel) {
this.chatPanel = chatPanel;
this.setTitle(
GuiActivator.getResources().getI18NString("service.gui.SHOW_PREVIEW_DIALOG_TITLE"));
okButton = new JButton(GuiActivator.getResources().getI18NString("service.gui.OK"));
cancelButton = new JButton(GuiActivator.getResources().getI18NString("service.gui.CANCEL"));
JPanel mainPanel = new TransparentPanel();
mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.Y_AXIS));
mainPanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
// mainPanel.setPreferredSize(new Dimension(200, 150));
this.getContentPane().add(mainPanel);
JTextPane descriptionMsg = new JTextPane();
descriptionMsg.setEditable(false);
descriptionMsg.setOpaque(false);
descriptionMsg.setText(
GuiActivator.getResources().getI18NString("service.gui.SHOW_PREVIEW_WARNING_DESCRIPTION"));
Icon warningIcon = null;
try {
warningIcon =
new ImageIcon(
ImageIO.read(
GuiActivator.getResources().getImageURL("service.gui.icons.WARNING_ICON")));
} catch (IOException e) {
logger.debug("failed to load the warning icon");
}
JLabel warningSign = new JLabel(warningIcon);
JPanel warningPanel = new TransparentPanel();
warningPanel.setLayout(new BoxLayout(warningPanel, BoxLayout.X_AXIS));
warningPanel.add(warningSign);
warningPanel.add(Box.createHorizontalStrut(10));
warningPanel.add(descriptionMsg);
enableReplacement =
new JCheckBox(
GuiActivator.getResources()
.getI18NString("plugin.chatconfig.replacement.ENABLE_REPLACEMENT_STATUS"));
enableReplacement.setOpaque(false);
enableReplacement.setSelected(cfg.getBoolean(ReplacementProperty.REPLACEMENT_ENABLE, true));
enableReplacementProposal =
new JCheckBox(
GuiActivator.getResources()
.getI18NString("plugin.chatconfig.replacement.ENABLE_REPLACEMENT_PROPOSAL"));
enableReplacementProposal.setOpaque(false);
JPanel checkBoxPanel = new TransparentPanel();
checkBoxPanel.setLayout(new BoxLayout(checkBoxPanel, BoxLayout.Y_AXIS));
checkBoxPanel.add(enableReplacement);
checkBoxPanel.add(enableReplacementProposal);
JPanel buttonsPanel = new TransparentPanel(new FlowLayout(FlowLayout.CENTER));
buttonsPanel.add(okButton);
buttonsPanel.add(cancelButton);
mainPanel.add(warningPanel);
mainPanel.add(Box.createVerticalStrut(10));
mainPanel.add(checkBoxPanel);
mainPanel.add(buttonsPanel);
okButton.addActionListener(this);
cancelButton.addActionListener(this);
this.setPreferredSize(new Dimension(390, 230));
}
/**
* Returns a JPanel that represents the mancala board using strategy pattern to insert style.
*
* @param strat concrete strategy
* @return JPanel containing both users' pits as controllers
*/
public JPanel boardContextDoWork(Strategy strat) {
this.s = strat;
Color boardColor = s.getBoardColor();
Color fontColor = s.getFontColor();
Font font = s.getFont();
JPanel panCenter = new JPanel();
JPanel panLeft = new JPanel();
JPanel panRight = new JPanel();
panCenter.setLayout(new GridLayout(2, 6, 10, 10));
// B6 to B1 Controllers
for (int i = 12; i > 6; i--) {
final Pits temp = new Pits(i);
final int pit = i;
final JLabel tempLabel = new JLabel(temp);
tempLabel.addMouseListener(
new MouseAdapter() {
public void mousePressed(MouseEvent e) {
if (Model.player == 1) {
JFrame frame = new JFrame();
JOptionPane.showMessageDialog(frame, "Player A's turn!");
} else if (model.data[pit] == 0) {
JFrame frame = new JFrame();
JOptionPane.showMessageDialog(frame, "Pit is Empty try another one.");
} else {
if (temp.pitShape.contains(e.getPoint())) {
model.move(pit); // mutator
undoBtn.setText("Undo : " + model.getUndoCounter());
model.display();
}
}
}
});
JPanel tempPanel = new JPanel(new BorderLayout());
JTextPane textPane = new JTextPane();
textPane.setEditable(false);
textPane.setBackground(boardColor);
textPane.setForeground(fontColor);
textPane.setFont(font);
textPane.setText("B" + (i - 6));
StyledDocument doc = textPane.getStyledDocument();
SimpleAttributeSet center = new SimpleAttributeSet();
StyleConstants.setAlignment(center, StyleConstants.ALIGN_CENTER);
doc.setParagraphAttributes(0, doc.getLength(), center, false);
tempPanel.add(textPane, BorderLayout.NORTH);
tempPanel.add(tempLabel, BorderLayout.SOUTH);
panCenter.add(tempPanel, BorderLayout.SOUTH);
tempPanel.setBackground(boardColor);
}
// A1 to A6 Controllers
for (int i = 0; i < 6; i++) {
final Pits newPits = new Pits(i);
JLabel label = new JLabel(newPits);
final int pit = i;
label.addMouseListener(
new MouseAdapter() {
public void mousePressed(MouseEvent e) {
if (Model.player == 2) {
JFrame frame = new JFrame();
JOptionPane.showMessageDialog(frame, "Player B's turn!");
} else if (model.data[pit] == 0) {
JFrame frame = new JFrame();
JOptionPane.showMessageDialog(frame, "Pit is Empty try another one.");
} else {
if (newPits.pitShape.contains(e.getPoint())) {
model.move(pit); // mutator
undoBtn.setText("Undo : " + model.getUndoCounter());
model.display();
}
}
}
});
JPanel tempPanel = new JPanel(new BorderLayout());
tempPanel.add(label, BorderLayout.NORTH);
JTextPane textPane = new JTextPane();
textPane.setBackground(boardColor);
textPane.setForeground(fontColor);
textPane.setFont(font);
textPane.setEditable(false);
textPane.setText("A" + (i + 1));
StyledDocument doc = textPane.getStyledDocument();
SimpleAttributeSet center = new SimpleAttributeSet();
StyleConstants.setAlignment(center, StyleConstants.ALIGN_CENTER);
doc.setParagraphAttributes(0, doc.getLength(), center, false);
tempPanel.add(textPane, BorderLayout.SOUTH);
tempPanel.setBackground(boardColor);
panCenter.add(tempPanel, BorderLayout.SOUTH);
}
// left text pane
JTextPane paneLeft = new JTextPane();
paneLeft.setBackground(boardColor);
paneLeft.setForeground(fontColor);
paneLeft.setFont(font);
paneLeft.setEditable(false);
paneLeft.setText("M\nA\nN\nC\nA\nL\nA\n \nB");
// right text pane
JTextPane paneRight = new JTextPane();
paneRight.setBackground(boardColor);
paneRight.setForeground(fontColor);
paneRight.setFont(font);
paneRight.setEditable(false);
paneRight.setText("M\nA\nN\nC\nA\nL\nA\n \nA");
// Add text panes to left and right panels
panLeft.setLayout(new BorderLayout());
panRight.setLayout(new BorderLayout());
panLeft.add(paneLeft, BorderLayout.WEST);
panRight.add(paneRight, BorderLayout.EAST);
panLeft.add(new JLabel(new Pits(13)), BorderLayout.EAST);
panRight.add(new JLabel(new Pits(6)), BorderLayout.WEST);
// add the 2 mancala panels and pit panel to larger displayPanel
JPanel displayPanel = new JPanel();
displayPanel.add(panLeft, BorderLayout.WEST);
displayPanel.add(panCenter, BorderLayout.CENTER);
displayPanel.add(panRight, BorderLayout.EAST);
// set color
panCenter.setBackground(boardColor);
panLeft.setBackground(boardColor);
panRight.setBackground(boardColor);
displayPanel.setBackground(boardColor);
// return display panel which contains the containers and elements created
return displayPanel;
}
public InterpreterFrame() {
super("Simple Lisp Interpreter");
// Create the menu
menubar = buildMenuBar();
setJMenuBar(menubar);
// Create the toolbar
toolbar = buildToolBar();
// disable cut and copy actions
cutAction.setEnabled(false);
copyAction.setEnabled(false);
// Setup text area for editing source code
// and setup document listener so interpreter
// is notified when current file modified and
// when the cursor is moved.
textView = buildEditor();
textView.getDocument().addDocumentListener(this);
textView.addCaretListener(this);
// set default key bindings
bindKeyToCommand("ctrl C", "(buffer-copy)");
bindKeyToCommand("ctrl X", "(buffer-cut)");
bindKeyToCommand("ctrl V", "(buffer-paste)");
bindKeyToCommand("ctrl E", "(buffer-eval)");
bindKeyToCommand("ctrl O", "(file-open)");
bindKeyToCommand("ctrl S", "(file-save)");
bindKeyToCommand("ctrl Q", "(exit)");
// Give text view scrolling capability
Border border =
BorderFactory.createCompoundBorder(
BorderFactory.createEmptyBorder(3, 3, 3, 3),
BorderFactory.createLineBorder(Color.gray));
JScrollPane topSplit = addScrollers(textView);
topSplit.setBorder(border);
// Create tabbed pane for console/problems
consoleView = makeConsoleArea(10, 50, true);
problemsView = makeConsoleArea(10, 50, false);
tabbedPane = buildProblemsConsole();
// Plug the editor and problems/console together
// using a split pane. This allows one to change
// their relative size using the split-bar in
// between them.
splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topSplit, tabbedPane);
// Create status bar
statusView = new JLabel(" Status");
lineNumberView = new JLabel("0:0");
statusbar = buildStatusBar();
// Now, create the outer panel which holds
// everything together
outerpanel = new JPanel();
outerpanel.setLayout(new BorderLayout());
outerpanel.add(toolbar, BorderLayout.PAGE_START);
outerpanel.add(splitPane, BorderLayout.CENTER);
outerpanel.add(statusbar, BorderLayout.SOUTH);
getContentPane().add(outerpanel);
// tell frame to fire a WindowsListener event
// but not to close when "x" button clicked.
setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
addWindowListener(this);
// set minimised icon to use
setIconImage(makeImageIcon("spi.png").getImage());
// setup additional internal functions
InternalFunctions.setup_internals(interpreter, this);
// set default window size
Component top = splitPane.getTopComponent();
Component bottom = splitPane.getBottomComponent();
top.setPreferredSize(new Dimension(100, 400));
bottom.setPreferredSize(new Dimension(100, 200));
pack();
// load + run user configuration file (if there is one)
String homedir = System.getProperty("user.home");
try {
interpreter.load(homedir + "/.simplelisp");
} catch (FileNotFoundException e) {
// do nothing if file does not exist!
System.out.println("Didn't find \"" + homedir + "/.simplelisp\"");
}
textView.grabFocus();
setVisible(true);
// redirect all I/O to problems/console
redirectIO();
// start highlighter thread
highlighter = new DisplayThread(250);
highlighter.setDaemon(true);
highlighter.start();
}
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);
}
private void jbInit() throws Exception {
this.getContentPane().setLayout(gridBagLayout2);
bottomPanel.setLayout(gridBagLayout1);
messagePanel.setBorder(BorderFactory.createLoweredBevelBorder());
replaceButton.setToolTipText("Save the new trace replacing the old trace.");
replaceButton.setText("Replace old trace");
replaceButton.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
replaceOldTrace();
}
});
buttonPanel.setBorder(BorderFactory.createLoweredBevelBorder());
discardButton.setToolTipText("Discard the new trace");
discardButton.setText("Discard new trace");
discardButton.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
DoneReplayDialog.this.setVisible(false);
}
});
saveButton.setToolTipText("Save the new trace in a file.");
saveButton.setText("Save as new file");
saveButton.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
saveNewToFile();
}
});
this.setModal(true);
this.setTitle("Replay Complete");
jScrollPane1.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
jScrollPane1.setMinimumSize(new Dimension(200, 200));
jScrollPane1.setPreferredSize(new Dimension(200, 200));
jTextPane.setMinimumSize(new Dimension(25, 80));
jTextPane.setPreferredSize(new Dimension(40, 80));
tracePanel.setLayout(borderLayout1);
commentPanel.setLayout(borderLayout3);
jPanel6.setLayout(borderLayout2);
jScrollPane2.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
jScrollPane2.setMinimumSize(new Dimension(200, 100));
jScrollPane2.setPreferredSize(new Dimension(200, 100));
jLabel1.setText("Comment");
jLabel2.setText("Traces (Old is Yellow, New is Pink)");
tracePanel.setBorder(BorderFactory.createEtchedBorder());
bottomPanel.setBorder(BorderFactory.createEtchedBorder());
commentPanel.setBorder(BorderFactory.createEtchedBorder());
this.getContentPane()
.add(
bottomPanel,
new GridBagConstraints(
0,
3,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(0, 5, 5, 5),
0,
0));
buttonPanel.add(saveButton, null);
buttonPanel.add(replaceButton, null);
buttonPanel.add(discardButton, null);
bottomPanel.add(
messagePanel,
new GridBagConstraints(
0,
0,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(0, 0, 0, 0),
0,
0));
messagePanel.add(messageLabel, null);
this.getContentPane()
.add(
tracePanel,
new GridBagConstraints(
0,
2,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(0, 0, 0, 0),
0,
0));
tracePanel.add(jScrollPane1, BorderLayout.CENTER);
tracePanel.add(jLabel2, BorderLayout.NORTH);
this.getContentPane()
.add(
commentPanel,
new GridBagConstraints(
0,
1,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(0, 5, 5, 5),
0,
0));
commentPanel.add(jPanel6, BorderLayout.CENTER);
jPanel6.add(jScrollPane2, BorderLayout.CENTER);
commentPanel.add(jLabel1, BorderLayout.NORTH);
jScrollPane2.getViewport().add(commentPane, null);
jScrollPane1.getViewport().add(jTextPane, null);
bottomPanel.add(
buttonPanel,
new GridBagConstraints(
0,
1,
2,
2,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(0, 0, 0, 0),
0,
0));
}
/**
* Shows/hides the security panel.
*
* @param isVisible <tt>true</tt> to show the security panel, <tt>false</tt> to hide it
*/
public void setSecurityPanelVisible(final boolean isVisible) {
if (!SwingUtilities.isEventDispatchThread()) {
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
setSecurityPanelVisible(isVisible);
}
});
return;
}
final JFrame callFrame = callRenderer.getCallContainer().getCallWindow().getFrame();
final JPanel glassPane = (JPanel) callFrame.getGlassPane();
if (!isVisible) {
// Need to hide the security panel explicitly in order to keep the
// fade effect.
securityPanel.setVisible(false);
glassPane.setVisible(false);
glassPane.removeAll();
} else {
glassPane.setLayout(null);
glassPane.addMouseListener(
new MouseListener() {
public void mouseClicked(MouseEvent e) {
redispatchMouseEvent(glassPane, e);
}
public void mouseEntered(MouseEvent e) {
redispatchMouseEvent(glassPane, e);
}
public void mouseExited(MouseEvent e) {
redispatchMouseEvent(glassPane, e);
}
public void mousePressed(MouseEvent e) {
redispatchMouseEvent(glassPane, e);
}
public void mouseReleased(MouseEvent e) {
redispatchMouseEvent(glassPane, e);
}
});
Point securityLabelPoint = securityStatusLabel.getLocation();
Point newPoint =
SwingUtilities.convertPoint(
securityStatusLabel.getParent(),
securityLabelPoint.x,
securityLabelPoint.y,
callFrame);
securityPanel.setBeginPoint(new Point((int) newPoint.getX() + 15, 0));
securityPanel.setBounds(0, (int) newPoint.getY() - 5, this.getWidth(), 130);
glassPane.add(securityPanel);
// Need to show the security panel explicitly in order to keep the
// fade effect.
securityPanel.setVisible(true);
glassPane.setVisible(true);
glassPane.addComponentListener(
new ComponentAdapter() {
/** Invoked when the component's size changes. */
@Override
public void componentResized(ComponentEvent e) {
if (glassPane.isVisible()) {
glassPane.setVisible(false);
callFrame.removeComponentListener(this);
}
}
});
}
}
@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);
}
public SketchProperties(Editor e, Sketch s) {
super();
editor = e;
sketch = s;
fields = new HashMap<String, JComponent>();
this.setPreferredSize(new Dimension(500, 400));
this.setMinimumSize(new Dimension(500, 400));
this.setMaximumSize(new Dimension(500, 400));
this.setSize(new Dimension(500, 400));
Point eLoc = editor.getLocation();
int x = eLoc.x;
int y = eLoc.y;
Dimension eSize = editor.getSize();
int w = eSize.width;
int h = eSize.height;
int cx = x + (w / 2);
int cy = y + (h / 2);
this.setLocation(new Point(cx - 250, cy - 200));
this.setModal(true);
outer = new JPanel(new BorderLayout());
outer.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
this.add(outer);
win = new JPanel();
win.setLayout(new BorderLayout());
outer.add(win, BorderLayout.CENTER);
buttonBar = new JPanel(new FlowLayout(FlowLayout.RIGHT));
saveButton = new JButton("OK");
saveButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
save();
SketchProperties.this.dispose();
}
});
cancelButton = new JButton("Cancel");
cancelButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
SketchProperties.this.dispose();
}
});
buttonBar.add(saveButton);
buttonBar.add(cancelButton);
win.add(buttonBar, BorderLayout.SOUTH);
tabs = new JTabbedPane();
overviewPane = new JPanel();
overviewPane.setLayout(new BoxLayout(overviewPane, BoxLayout.PAGE_AXIS));
overviewPane.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
addTextField(overviewPane, "author", "Sketch author:");
addTextArea(overviewPane, "summary", "Summary:");
addTextArea(overviewPane, "license", "Copyright / License:");
tabs.add("Overview", overviewPane);
objectsPane = new JPanel();
objectsPane.setLayout(new BoxLayout(objectsPane, BoxLayout.PAGE_AXIS));
objectsPane.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
addTextField(objectsPane, "board", "Board:");
addTextField(objectsPane, "core", "Core:");
addTextField(objectsPane, "compiler", "Compiler:");
addTextField(objectsPane, "port", "Serial port:");
addTextField(objectsPane, "programmer", "Programmer:");
JButton setDef = new JButton("Set to current IDE values");
setDef.setMaximumSize(setDef.getPreferredSize());
setDef.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
setObjectValues();
}
});
objectsPane.add(Box.createVerticalGlue());
objectsPane.add(setDef);
tabs.add("Objects", objectsPane);
win.add(tabs, BorderLayout.CENTER);
this.setTitle("Sketch Properties");
this.pack();
this.setVisible(true);
}