/**
* This function is used to re-run the analyser, and re-create the rows corresponding the its
* results.
*/
private void refreshReviewTable() {
reviewPanel.removeAll();
rows.clear();
GridBagLayout gbl = new GridBagLayout();
reviewPanel.setLayout(gbl);
GridBagConstraints gbc = new GridBagConstraints();
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.gridy = 0;
try {
Map<String, Long> sums =
analyser.processLogFile(config.getLogFilename(), fromDate.getDate(), toDate.getDate());
for (Entry<String, Long> entry : sums.entrySet()) {
String project = entry.getKey();
double hours = 1.0 * entry.getValue() / (1000 * 3600);
addRow(gbl, gbc, project, hours);
}
for (String project : main.getProjectsTree().getTopLevelProjects())
if (!rows.containsKey(project)) addRow(gbl, gbc, project, 0);
gbc.insets = new Insets(10, 0, 0, 0);
addLeftLabel(gbl, gbc, "TOTAL");
gbc.gridx = 1;
gbc.weightx = 1;
totalLabel.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 3));
gbl.setConstraints(totalLabel, gbc);
reviewPanel.add(totalLabel);
gbc.weightx = 0;
addRightLabel(gbl, gbc);
} catch (IOException e) {
e.printStackTrace();
}
recomputeTotal();
pack();
}
private void winning() {
String[] options = {"Try again", "Go back to Start", "Quit"};
InformationFrame.stopClock();
int n =
JOptionPane.showOptionDialog(
rootPane,
"You won!"
+ "\n╔══╗░░░░╔╦╗░░╔═════╗"
+ "\n║╚═╬════╬╣╠═╗║░▀░▀░║"
+ "\n╠═╗║╔╗╔╗║║║╩╣║╚═══╝║"
+ "\n╚══╩╝╚╝╚╩╩╩═╝╚═════╝",
"Smileys c: ☺ ☻ ت ヅ ツ ッ シ Ü ϡ ﭢ" + "\nWhat would you like to do now?",
JOptionPane.YES_NO_CANCEL_OPTION,
JOptionPane.QUESTION_MESSAGE,
null,
options,
options[2]);
if (n == 2) {
// System.out.println("n = " + n);
System.exit(0);
} else if (n == 1) {
InformationFrame.dispose();
main(null);
this.dispose();
} else if (n == 0) {
String difficulty = MainManager.getMainGrid().getDifficulty();
MainPanel.removeAll();
constructMinesweeper(difficulty.toLowerCase());
}
}
public void stateChanged(ChangeEvent e) {
JSpinner source = (JSpinner) e.getSource();
if (source.getName().equals("Hour")) {
calendar.set(Calendar.HOUR_OF_DAY, getSelectedHour());
return;
}
if (source.getName().equals("Year")) {
calendar.set(Calendar.YEAR, getSelectedYear());
dayPanel.removeAll();
this.flushWeekAndDayPanal(calendar);
dayPanel.revalidate();
dayPanel.updateUI();
return;
}
if (source.getName().equals("Month")) {
calendar.set(Calendar.MONTH, getSelectedMonth() - 1);
dayPanel.removeAll();
this.flushWeekAndDayPanal(calendar);
dayPanel.revalidate();
dayPanel.updateUI();
return;
}
}
public void actionPerformed(ActionEvent e) {
if (e.getSource() == ctl) {
this.menu();
} else if (e.getSource() == exit) {
exitPerform();
} else if (e.getSource() == rank) {
if (count != 0) {
card.show(mainPanel, "four");
rankPanel.setMemory(memory, count - 1);
buttonPanel.removeAll();
buttonPanel.setBounds(width - 200, height - 80, 190, 50);
buttonPanel.add(exit);
check = 4;
count--;
}
} else if (e.getSource() == back) {
if (secondPanel.clip != null) {
secondPanel.clip.stop();
System.out.printf("test");
}
check = 0;
card.previous(mainPanel);
buttonPanel.removeAll();
ctl.setText("- Play -");
buttonPanel.add(ctl);
buttonPanel.add(rank);
buttonPanel.add(exit);
buttonPanel.setOpaque(false);
buttonPanel.setBounds(width / 2 - 50, height / 2 - 50, 80, 100);
}
}
/**
* Update changing components.
*
* @see javax.swing.JComponent#paintComponent(java.awt.Graphics)
*/
@Override
public void paintComponent(Graphics g) {
money.setText(String.valueOf(player.getMoney()));
record.setText(String.valueOf(bestScore));
dealerPanel.removeAll();
playerPanel.removeAll();
for (Card dealerCard : dealer.getCards()) dealerPanel.add(dealerCard);
for (Card playerCard : player.getCards()) playerPanel.add(playerCard);
revalidate();
}
private void buildExternalsPanel() {
FormBuilder builder = FormBuilder.create().layout(new FormLayout("fill:pref:grow", "p"));
int row = 1;
for (ExternalFileEntry efe : externals) {
builder.add(efe.getPanel()).xy(1, row);
builder.appendRows("2dlu, p");
row += 2;
}
builder.add(Box.createVerticalGlue()).xy(1, row);
builder.appendRows("2dlu, p, 2dlu, p");
builder.add(addExtPan).xy(1, row + 2);
builder.add(Box.createVerticalGlue()).xy(1, row + 2);
// builder.getPanel().setBorder(BorderFactory.createMatteBorder(1,1,1,1,Color.green));
// externalFilesPanel.setBorder(BorderFactory.createMatteBorder(1,1,1,1,Color.red));
JScrollPane pane = new JScrollPane(builder.getPanel());
pane.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
externalFilesPanel.setMinimumSize(new Dimension(400, 400));
externalFilesPanel.setPreferredSize(new Dimension(400, 400));
externalFilesPanel.removeAll();
externalFilesPanel.add(pane, BorderLayout.CENTER);
externalFilesPanel.revalidate();
externalFilesPanel.repaint();
}
private void setupCentralPanel() {
myCentralPanel.removeAll();
if (myUsagePreviewPanel != null) {
Disposer.dispose(myUsagePreviewPanel);
myUsagePreviewPanel = null;
}
JScrollPane pane = ScrollPaneFactory.createScrollPane(myTree);
if (UsageViewSettings.getInstance().IS_PREVIEW_USAGES) {
Splitter splitter =
new Splitter(false, UsageViewSettings.getInstance().PREVIEW_USAGES_SPLITTER_PROPORTIONS);
pane.putClientProperty(UIUtil.KEEP_BORDER_SIDES, SideBorder.RIGHT);
splitter.setFirstComponent(pane);
myUsagePreviewPanel = new UsagePreviewPanel(myProject);
myUsagePreviewPanel.setBorder(IdeBorderFactory.createBorder(SideBorder.LEFT));
Disposer.register(this, myUsagePreviewPanel);
splitter.setSecondComponent(myUsagePreviewPanel);
myCentralPanel.add(splitter, BorderLayout.CENTER);
} else {
myCentralPanel.add(pane, BorderLayout.CENTER);
}
myCentralPanel.add(myButtonPanel, BorderLayout.SOUTH);
myRootPanel.revalidate();
}
/** Show/update/hide page number field, according to loading policy and current data length. */
public final void updatePageNumber(int pageNr) {
controlPageNr.setValue(new Integer(pageNr));
pageNrPanel.removeAll();
if (pageNr > 0 && showPageNumber) pageNrPanel.add(controlPageNr);
pageNrPanel.revalidate();
this.repaint();
}
public void changePanel() {
card.next(mainPanel);
buttonPanel.removeAll();
ctl.setText("- Play -");
buttonPanel.add(ctl);
buttonPanel.add(rank);
buttonPanel.add(exit);
buttonPanel.setOpaque(false);
buttonPanel.setBounds(width / 2 - 50, height / 2 - 50, 80, 100);
count++;
memory[count] = new Memory();
menuPanel.setMemory(memory[count]);
secondPanel.setMemory(memory[count]);
gamePanel.setMemory(memory[count]);
rankPanel.setMemory(memory, count);
check = 0;
System.out.println(
count
+ " "
+ memory[count - 1].name
+ " "
+ memory[count - 1].song
+ " "
+ memory[count - 1].score);
}
private void setChoosers() {
fieldPanel.removeAll();
for (int i = 0; i < choosers.size(); i++) {
Chooser c = (Chooser) choosers.get(i);
if (c.isWanted) fieldPanel.add(c.field);
}
}
public static void updateResultsTable(Object[][] data) {
// remove old route table
resultsPanel.removeAll();
// create new route table
String[] columnNames = {
"Route #", "Carrier", "Dep. Airport", "Dep. Time", "Arr. Airport", "Arr. Time", "Price"
};
JScrollPane routeTable =
new JScrollPane(
new JTable(data, columnNames) {
public boolean isCellEditable(int rowIndex, int vColIndex) {
return false;
};
});
// create the routes table in a scrollPane
routeTable.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS);
routeTable.setPreferredSize(new Dimension(resultsPanelWidth, resultsPanelHeight));
resultsPanel.add(routeTable); // add the table to the JPanel
resultsPanel.setBorder(BorderFactory.createTitledBorder("Search Results"));
// display new route table
resultsPanel.revalidate();
resultsPanel.repaint();
}
// Fees update method
private void updateFeesData(long id) {
String columns[] = {"Course", "Fees Payed", "Total fees", "Installments"};
try {
Database db = new Database();
panel_7.removeAll();
feestablemodel = new MyTableModel(db.getFeeData(id), columns);
feestable = new JTable(feestablemodel);
feestable.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
feestable.getSelectionModel().addListSelectionListener(this);
feesscrollpane = new JScrollPane(feestable);
panel_7.add(feesscrollpane);
// change fees payed label
feespayedlabel.setText("Fees Payed");
feesduelabel.setText("Fees Due");
totalfeeslabel.setText("Total Fees");
panel_7.revalidate();
} catch (Exception e) {
JOptionPane.showMessageDialog(this, e.getMessage(), null, JOptionPane.ERROR_MESSAGE);
}
}
public void setValue(String key, JComponent value) {
JPanel p = keyValueComponentMap.get(key);
p.removeAll();
p.add(value);
p.add(Box.createHorizontalGlue());
p.repaint();
p.getParent().repaint();
}
public void menu() {
if (check == 0) {
buttonPanel.removeAll();
buttonPanel.setBounds(width - 200, height - 80, 200, 50);
card.next(mainPanel);
ctl.setText("- Play -");
buttonPanel.add(back);
buttonPanel.add(ctl);
menuPanel.savename();
check = 1;
secondPanel.musiclist.clearSelection();
gamePanel.setSecond(0);
} else if (check == 1) {
if (memory[count].getSong() == null) {
Container con = getContentPane();
String title = "--Warning--";
String message = "Please Choice a Music Before Playing!";
int type = JOptionPane.WARNING_MESSAGE;
JOptionPane.showMessageDialog(con, message, title, type);
} else {
card.next(mainPanel);
secondPanel.clip.stop();
buttonPanel.removeAll();
buttonPanel.setBounds(width - 200, height - 80, 190, 50);
ctl.setText("- Stop -");
buttonPanel.add(ctl);
buttonPanel.add(exit);
check = 2;
gamePanel.playmusic();
gamePanel.setRun(true);
}
} else if (check == 2) {
ctl.setText("- Resume -");
gamePanel.clip.stop();
gamePanel.setRun(false);
check = 3;
} else if (check == 3) {
ctl.setText("- Stop -");
gamePanel.clip.start();
gamePanel.setRun(true);
check = 2;
}
}
public void buildPopulationBox() {
rebuilding = true;
populationBox.removeAll();
peopleList = new ArrayList<Object>();
famList = new ArrayList<Family>();
peopleList.addAll(ctxt.individualCensus);
String plur = (peopleList.size() == 1 ? "" : "s");
populationBox.setLayout(new BoxLayout(populationBox, BoxLayout.PAGE_AXIS));
populationBox.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "Current Population"));
populationBox.setAlignmentX(0.5f);
populationBox.add(Box.createRigidArea(new Dimension(8, 0)));
indivLabel = new JLabel("Contains " + peopleList.size() + " Individual" + plur);
indivLabel.setAlignmentX(0.5f);
populationBox.add(indivLabel);
if (peopleList.size() > 0) {
JPanel indivBtnBox = new JPanel();
indivBtnBox.setLayout(new BoxLayout(indivBtnBox, BoxLayout.LINE_AXIS));
Dimension sizer2 = new Dimension(350, 50);
String[] indMenu = genIndMenu(peopleList);
indPick = new JComboBox(indMenu);
indPick.addActionListener(listener);
indPick.setActionCommand("view/edit person");
indPick.setMinimumSize(sizer2);
indPick.setMaximumSize(sizer2);
indPick.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "View/Edit Person"));
indivBtnBox.add(indPick);
populationBox.add(indivBtnBox);
} // end of if-any-people-exist
famList.addAll(ctxt.familyCensus); // end of filtering deleted records
plur = (famList.size() == 1 ? "y" : "ies");
famLabel = new JLabel("Contains " + famList.size() + " Famil" + plur);
famLabel.setAlignmentX(0.5f);
populationBox.add(Box.createRigidArea(new Dimension(0, 4)));
populationBox.add(famLabel);
if (famList.size() > 0) {
JPanel famBtnBox = new JPanel();
famBtnBox.setLayout(new BoxLayout(famBtnBox, BoxLayout.LINE_AXIS));
Dimension sizer2 = new Dimension(350, 50);
String[] famMenu = genFamMenu(famList);
famPick = new JComboBox(famMenu);
famPick.addActionListener(listener);
famPick.setActionCommand("view/edit family");
famPick.setMinimumSize(sizer2);
famPick.setMaximumSize(sizer2);
famPick.setBorder(
BorderFactory.createTitledBorder(
BorderFactory.createLineBorder(Color.blue), "View/Edit Family"));
famBtnBox.add(famPick);
populationBox.add(famBtnBox);
} // end of if-any-families-exist
rebuilding = false;
} // end of method buildPopulationBox
/**
* Remove the currently display gui and insert the given one.
*
* @param comp The new gui.
*/
private void addToContents(JComponent comp) {
handlerHolder.removeAll();
comp.setPreferredSize(new Dimension(200, 300));
handlerHolder.add(comp, BorderLayout.CENTER);
if (myContents != null) {
myContents.invalidate();
myContents.validate();
myContents.repaint();
}
}
public void drawCheckPanel() {
boxes = new ArrayList<JCheckBox>();
checkPanel.removeAll();
checkPanel.setLayout(new GridLayout(files.size(), 1));
for (int i = 0; i < files.size(); i++) {
JCheckBox box = new JCheckBox(files.get(i).getTitle());
box.setActionCommand(files.get(i).getId());
boxes.add(box);
checkPanel.add(box);
}
}
public void actionPerformed(ActionEvent e) {
if (e.getSource() == easy) {
invSpeed = 50000;
bombN = 1;
timeDifficulty1 = 1000;
distanceLimit = 400;
monsterMultiplier = 1;
multiplier = 1;
setup();
} else if (e.getSource() == hard) {
invSpeed = 30000;
bombN = 4;
timeDifficulty1 = 500;
distanceLimit = 200;
monsterMultiplier = 2;
multiplier = 2;
setup();
} else if (e.getSource() == back) {
r = null;
menu.setVisible(true);
back.setVisible(false);
this.revalidate();
repaint();
} else if (e.getSource() == howTo) {
menu.removeAll();
menu.add(howToBack);
menu.add(howToIMGL);
menu.revalidate();
menu.repaint();
} else if (e.getSource() == howToBack) {
menu.remove(howToIMGL);
menu.remove(howToBack);
menu.add(keyboardSpeedL1);
menu.add(keyboardSpeedL2);
menu.add(easy);
menu.add(hard);
menu.add(howTo);
menu.add(onePlayerRB);
menu.add(twoPlayerRB);
menu.add(mouseRB);
menu.add(keyboardRB);
menu.add(keyboardSpeedS1);
menu.add(keyboardSpeedS2);
menu.add(musicCB);
menu.add(highscoreL);
menu.add(menuIMGL);
menu.revalidate();
menu.repaint();
}
}
void setDrawHorizAndVert(boolean drawHoriz, boolean drawVert) {
drawingPanel.removeAll();
if (drawHoriz && drawVert) {
splitDraw.setTopComponent(panz);
splitDraw.setBottomComponent(vertPanel);
drawingPanel.add(splitDraw, BorderLayout.CENTER);
} else if (drawHoriz) {
drawingPanel.add(panz, BorderLayout.CENTER);
} else if (drawVert) {
drawingPanel.add(splitDraw, BorderLayout.CENTER);
}
}
private void resetPanel() {
cal =
new GregorianCalendar(
Integer.parseInt(yearSpi.getValue().toString()),
monthBox.getSelectedIndex(),
Integer.parseInt(lastLabel.getText()));
startPoint_x = 20;
startPoint_y = 10;
panel.removeAll();
panel.repaint();
initCalPanel();
}
void checkRunned() {
if (runned) {
list.selectAll(); // Add all clusters to Field again
contentpanel.resetColors(); // Reset the colors
PointCategory.resetIndex(); // Reset the point index
field.reset(); // Reset the field
updateContentPanel();
empty.removeAll();
empty.validate();
runned = false;
}
}
void updateList() {
if (runned) {
empty.removeAll();
list = new CheckBoxList(field.getClusters(), field.getNoise(), this);
JScrollPane sp = new JScrollPane();
sp.getViewport().add(list);
empty.add(sp);
sp.repaint();
empty.validate();
}
}
private void showHelp(String help[]) {
txtCommand.setText(help[0]);
bHelp = true;
pResult.removeAll();
pResult.add(txtResultScroll, BorderLayout.CENTER);
pResult.doLayout();
txtResult.setText(help[1]);
pResult.repaint();
txtCommand.requestFocus();
txtCommand.setCaretPosition(help[0].length());
}
public void uninstallUI(JComponent c) {
uninstallListeners(filechooser);
uninstallComponents(filechooser);
uninstallDefaults(filechooser);
if (accessoryPanel != null) {
accessoryPanel.removeAll();
}
accessoryPanel = null;
getFileChooser().removeAll();
handler = null;
}
// populate version for corrections
public void showCorrectionTokenUpgrades(MapCorrectionAction action) {
// activate correctionTokenMode and deactivate standard tokenMode
correctionTokenMode = true;
tokenMode = false;
// activate upgrade panel
upgradePanel.removeAll();
GridLayout panelLayout = (GridLayout) upgradePanel.getLayout();
List<? extends TokenI> tokens = orUIManager.tokenLays;
if (tokens == null || tokens.size() == 0) {
// reset to the number of elements
panelLayout.setRows(defaultNbPanelElements);
// set to position 0
scrollPane.getVerticalScrollBar().setValue(0);
} else {
Color fgColour = null;
Color bgColour = null;
String text = null;
String description = null;
TokenIcon icon;
CorrectionTokenLabel tokenLabel;
correctionTokenLabels = new ArrayList<CorrectionTokenLabel>();
for (TokenI token : tokens) {
if (token instanceof BaseToken) {
PublicCompanyI comp = ((BaseToken) token).getCompany();
fgColour = comp.getFgColour();
bgColour = comp.getBgColour();
description = text = comp.getName();
}
icon = new TokenIcon(25, fgColour, bgColour, text);
tokenLabel = new CorrectionTokenLabel(icon, token);
tokenLabel.setName(description);
tokenLabel.setText(description);
tokenLabel.setBackground(defaultLabelBgColour);
tokenLabel.setOpaque(true);
tokenLabel.setVisible(true);
tokenLabel.setBorder(border);
tokenLabel.addMouseListener(this);
tokenLabel.addPossibleAction(action);
correctionTokenLabels.add(tokenLabel);
upgradePanel.add(tokenLabel);
}
}
upgradePanel.add(doneButton);
upgradePanel.add(cancelButton);
// repaint();
revalidate();
}
// populate version for corrections
public void showCorrectionTileUpgrades() {
// deactivate correctionTokenMode and tokenmode
correctionTokenMode = false;
tokenMode = false;
// activate upgrade panel
upgradePanel.removeAll();
GridLayout panelLayout = (GridLayout) upgradePanel.getLayout();
List<TileI> tiles = orUIManager.tileUpgrades;
if (tiles == null || tiles.size() == 0) {
// reset to the number of elements
panelLayout.setRows(defaultNbPanelElements);
// set to position 0
scrollPane.getVerticalScrollBar().setValue(0);
} else {
// set to the max of available or the default number of elements
panelLayout.setRows(Math.max(tiles.size() + 2, defaultNbPanelElements));
for (TileI tile : tiles) {
BufferedImage hexImage = getHexImage(tile.getId());
ImageIcon hexIcon = new ImageIcon(hexImage);
// Cheap n' Easy rescaling.
hexIcon.setImage(
hexIcon
.getImage()
.getScaledInstance(
(int) (hexIcon.getIconWidth() * GUIHex.NORMAL_SCALE * 0.8),
(int) (hexIcon.getIconHeight() * GUIHex.NORMAL_SCALE * 0.8),
Image.SCALE_SMOOTH));
HexLabel hexLabel = new HexLabel(hexIcon, tile.getId());
hexLabel.setName(tile.getName());
hexLabel.setTextFromTile(tile);
hexLabel.setOpaque(true);
hexLabel.setVisible(true);
hexLabel.setBorder(border);
hexLabel.addMouseListener(this);
upgradePanel.add(hexLabel);
}
}
upgradePanel.add(doneButton);
upgradePanel.add(cancelButton);
// repaint();
revalidate();
}
public void exitPerform() {
if (check == 4) {
this.changePanel();
} else if (check == 0) {
this.dispose();
} else {
card.next(mainPanel);
rankPanel.updateUI();
buttonPanel.removeAll();
buttonPanel.add(exit);
gamePanel.clip.stop();
gamePanel.setRun(false);
check = 4;
}
}
/**
* Set the fields from the ProjectionClass
*
* @param projClass projection class to use
*/
private void setFieldsWithClassParams(ProjectionClass projClass) {
// set the projection in the JComboBox
String want = projClass.toString();
for (int i = 0; i < projClassCB.getItemCount(); i++) {
ProjectionClass pc = (ProjectionClass) projClassCB.getItemAt(i);
if (pc.toString().equals(want)) {
projClassCB.setSelectedItem((Object) pc);
break;
}
}
// set the parameter fields
paramPanel.removeAll();
paramPanel.setVisible(0 < projClass.paramList.size());
List widgets = new ArrayList();
for (int i = 0; i < projClass.paramList.size(); i++) {
ProjectionParam pp = (ProjectionParam) projClass.paramList.get(i);
// construct the label
String name = pp.name;
String text = "";
// Create a decent looking label
for (int cIdx = 0; cIdx < name.length(); cIdx++) {
char c = name.charAt(cIdx);
if (cIdx == 0) {
c = Character.toUpperCase(c);
} else {
if (Character.isUpperCase(c)) {
text += " ";
c = Character.toLowerCase(c);
}
}
text += c;
}
widgets.add(GuiUtils.rLabel(text + ": "));
// text input field
JTextField tf = new JTextField();
pp.setTextField(tf);
tf.setColumns(12);
widgets.add(tf);
}
GuiUtils.tmpInsets = new Insets(4, 4, 4, 4);
JPanel widgetPanel = GuiUtils.doLayout(widgets, 2, GuiUtils.WT_N, GuiUtils.WT_N);
paramPanel.add("North", widgetPanel);
paramPanel.add("Center", GuiUtils.filler());
}
/** Affichage en mode GUI. */
public void drawGUI() {
panel.removeAll();
// panel.updateUI();
JLabel label = new JLabel("Choix pseudo joueurs");
label.setFont(new Font("Serif", Font.BOLD, 22));
panel.add(label);
JLabel j1 = new JLabel("Joueur 1");
j1.setFont(new Font("Serif", Font.PLAIN, 16));
panel.add(j1);
pseudoJ1 = new JTextField();
pseudoJ1.setFont(new Font("Serif", Font.PLAIN, 16));
pseudoJ1.setPreferredSize(new Dimension(150, 30));
pseudoJ1.setForeground(Color.BLACK);
panel.add(pseudoJ1);
// Si on ne joue pas contre une IA, on demande au joueur 2 son pseudo aussi
if (this.jeu.getTypeJeu() != Jeu.TYPE_JOUEUR_VS_IA) {
JLabel j2 = new JLabel("Joueur 2");
j2.setFont(new Font("Serif", Font.PLAIN, 16));
panel.add(j2);
pseudoJ2 = new JTextField();
pseudoJ2.setFont(new Font("Serif", Font.PLAIN, 16));
pseudoJ2.setPreferredSize(new Dimension(150, 30));
pseudoJ2.setForeground(Color.BLACK);
panel.add(pseudoJ2);
}
boutonOK = new JButton("Ok");
boutonOK.addActionListener(this);
panel.add(boutonOK);
window.setContentPane(panel);
window.pack();
window.setVisible(true);
}
private void updateResult() {
if (iResult == 0) {
// in case 'help' has removed the grid
if (bHelp) {
pResult.removeAll();
pResult.add(gScrollPane, BorderLayout.CENTER);
pResult.doLayout();
gResult.fireTableChanged(null);
pResult.repaint();
bHelp = false;
}
} else {
showResultInText();
}
txtCommand.selectAll();
txtCommand.requestFocus();
}
