/**
* This is the hook through which all menu items are created. It registers the result with the
* menuitem hashtable so that it can be fetched with getMenuItem().
*
* @see #getMenuItem
*/
protected JMenuItem createMenuItem(String cmd) {
JMenuItem mi = new JMenuItem(getResourceString(cmd + labelSuffix));
URL url = getResource(cmd + imageSuffix);
if (url != null) {
mi.setHorizontalTextPosition(JButton.RIGHT);
mi.setIcon(new ImageIcon(url));
}
String astr = getResourceString(cmd + actionSuffix);
if (astr == null) {
astr = cmd;
}
mi.setActionCommand(astr);
Action myaction = getAction(astr); // if this is a known action
if (myaction != null) {
mi.addActionListener(myaction);
myaction.addPropertyChangeListener(createActionChangeListener(mi));
// System.out.println("myaction not null: astr:"+astr+" enabled:"+myaction.isEnabled());
mi.setEnabled(myaction.isEnabled());
} else {
System.err.println("Error:TextViewer: createMenuItem: myaction is null: astr:" + astr);
// causes the item to be greyed out
mi.setEnabled(false);
}
menuItems.put(cmd, mi);
return mi;
}
public void adjustListMenuBar() {
JMenuItem menuItem;
Action act;
String itemLabel;
boolean enableState;
boolean inEditState;
boolean allowAdds;
ICFInternetTopProjectObj selectedObj = getSwingFocusAsTopProject();
CFJPanel.PanelMode mode = getPanelMode();
if (mode == CFJPanel.PanelMode.Edit) {
inEditState = true;
if (getSwingContainer() != null) {
allowAdds = true;
} else {
allowAdds = false;
}
} else {
inEditState = false;
allowAdds = false;
}
if (selectedObj == null) {
enableState = false;
} else {
enableState = true;
}
if (actionViewSelected != null) {
actionViewSelected.setEnabled(enableState);
}
if (actionEditSelected != null) {
actionEditSelected.setEnabled(inEditState && enableState);
}
if (actionDeleteSelected != null) {
actionDeleteSelected.setEnabled(inEditState && enableState);
}
if (actionAddTopProject != null) {
actionAddTopProject.setEnabled(allowAdds);
}
if (menuAdd != null) {
menuAdd.setEnabled(allowAdds);
}
if (menuSelected != null) {
menuSelected.setEnabled(enableState);
int itemCount = menuSelected.getItemCount();
for (int itemIdx = 0; itemIdx < itemCount; itemIdx++) {
menuItem = menuSelected.getItem(itemIdx);
act = menuItem.getAction();
if (act != null) {
if (act == actionViewSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionEditSelected) {
menuItem.setEnabled(inEditState && enableState);
} else if (act == actionDeleteSelected) {
menuItem.setEnabled(inEditState && enableState);
}
}
}
}
}
@Override
public void setProfiler(Profiler profiler) {
if (profiler != null) {
profilerWindow = new ProfilerWindow(profiler);
profilerMenuItem.setEnabled(true);
} else {
profilerWindow = null;
profilerMenuItem.setEnabled(false);
}
}
// set all menu items related to debugging enabled, all else disabled;
// for insert, remove and fetch: continue, step
// additionally for scripts: next and sometimes cancel
private void enableDebug(boolean isScript, boolean enableCancel) {
setAllEnabled(false);
debugMenu.setEnabled(true);
stepAction.setEnabled(true);
cancelAction.setEnabled(enableCancel);
nextAction.setEnabled(isScript);
contAction.setEnabled(true);
breakpointsItem.setEnabled(true);
treeStatsMenu.setEnabled(true);
utilItem.setEnabled(true);
predSzItem.setEnabled(true);
slotCntItem.setEnabled(true);
}
// enable startup menu items that don't require an index or profile to work with
private void enableInit() {
setAllEnabled(false);
// we can create and open indices
fileMenu.setEnabled(true);
newItem.setEnabled(true);
openItem.setEnabled(true);
// we can execute scripts
opsMenu.setEnabled(true);
executeItem.setEnabled(true);
// we can open profile
analysisMenu.setEnabled(true);
openAnalysisItem.setEnabled(true);
}
// enable all menu items/menus for operations that require
// a Gist to work on, excluding the debugging functions
private void enableIndexOpened() {
DbgOutput.println(1, "enableIndexOpened()");
setAllEnabled(true);
// debugging operations only during operations
stepAction.setEnabled(false);
stopAction.setEnabled(false);
cancelAction.setEnabled(false);
nextAction.setEnabled(false);
contAction.setEnabled(false);
// no profile opened
completeAnalysisItem.setEnabled(false);
wkldStatsItem.setEnabled(false);
splitStatsItem.setEnabled(false);
penaltyStatsItem.setEnabled(false);
}
void initControls() {
JMenuItem jmi;
jmi = new JMenuItem("JImage Menu");
jmi.setEnabled(false);
popupMenu.add(jmi);
jmi = new JMenuItem("Fit");
jmi.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
fit = true;
repaint();
}
});
popupMenu.add(jmi);
JMenu scaleMenu = new JMenu("Set Scale");
popupMenu.add(scaleMenu);
int scales[] = new int[] {25, 50, 100, 200, 400, 800};
for (int i = 0; i < scales.length; i++) {
jmi = new JMenuItem(scales[i] + " %");
jmi.addActionListener(new ScaleAction(scales[i]));
scaleMenu.add(jmi);
}
MyListener l = new MyListener();
addMouseMotionListener(l);
addMouseListener(l);
addMouseWheelListener(l);
addKeyListener(l);
}
public void adjustFinderMenuBar() {
JMenuItem menuItem;
Action act;
String itemLabel;
ICFSecurityServiceTypeObj selectedObj = getSwingFocusAsServiceType();
boolean enableState;
if (selectedObj == null) {
enableState = false;
} else {
enableState = true;
}
if (actionViewSelected != null) {
actionViewSelected.setEnabled(enableState);
}
if (actionEditSelected != null) {
actionEditSelected.setEnabled(enableState);
}
if (actionDeleteSelected != null) {
actionDeleteSelected.setEnabled(enableState);
}
if (actionAddServiceType != null) {
actionAddServiceType.setEnabled(true);
}
if (menuFile != null) {
int itemCount = menuFile.getItemCount();
for (int itemIdx = 0; itemIdx < itemCount; itemIdx++) {
menuItem = menuFile.getItem(itemIdx);
act = menuItem.getAction();
if (act != null) {
if (act == actionViewSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionEditSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionDeleteSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionAddServiceType) {
menuItem.setEnabled(true);
}
}
}
}
}
public void propertyChange(PropertyChangeEvent e) {
String propertyName = e.getPropertyName();
if (e.getPropertyName().equals(Action.NAME)) {
String text = (String) e.getNewValue();
menuItem.setText(text);
} else if (propertyName.equals("enabled")) {
Boolean enabledState = (Boolean) e.getNewValue();
menuItem.setEnabled(enabledState.booleanValue());
}
}
public void propertyChange(PropertyChangeEvent e) {
String propertyName = e.getPropertyName();
if (e.getPropertyName().equals(Action.NAME)) {
String text = (String) e.getNewValue();
menuItem.setText(text);
} else if (propertyName.equals("enabled")) {
// System.out.println("Debug:TextViewer: ActionChangedListener enabled");
Boolean enabledState = (Boolean) e.getNewValue();
menuItem.setEnabled(enabledState.booleanValue());
}
}
// Public Methods
public void appendNextTreeGeneration(Vector generation) {
DefaultMutableTreeNode nextGeneration = generationNodeBuilder(generation);
generations.add(nextGeneration);
// If Generations contains leaf nodes (generated objects)
// Enabled Save All Menu Item
if (generations.getLeafCount() > 0) miSaveAll.setEnabled(true);
else miSaveAll.setEnabled(false);
// Update JTree View
// affected nodes needing updating
int[] nodeRangeToUpdate = {generations.getIndex(nextGeneration)};
((DefaultTreeModel) tree.getModel()).nodesWereInserted(generations, nodeRangeToUpdate);
// Expand Parent after first child node is displayed
if (generationNumber == 1) tree.expandRow(0);
++generationNumber;
}
public Popup() {
super();
String[] profileNames = profiles.getNames();
JMenuItem item;
// Make the load menu
JMenu loadMenu = new JMenu("Load profile");
loadMenu.setEnabled(profiles.size() > 0);
addProfiles(loadMenu, profileNames, profileLoader);
this.add(loadMenu);
this.addSeparator();
// put in a dummy item
item = new JMenuItem();
item.setEnabled(false);
this.add(item);
this.addSeparator();
// Make the save menu
JMenu saveMenu = new JMenu("Save profile");
item = new JMenuItem("New...");
item.addActionListener(profileSaver);
saveMenu.add(item);
saveMenu.addSeparator();
addProfiles(saveMenu, profileNames, profileSaver);
this.add(saveMenu);
this.addSeparator();
// put in a dummy item
item = new JMenuItem();
item.setEnabled(false);
this.add(item);
this.addSeparator();
// Make the delete menu
JMenu deleteMenu = new JMenu("Delete profile");
deleteMenu.setEnabled(profiles.size() > 0);
addProfiles(deleteMenu, profileNames, profileDeleter);
this.add(deleteMenu);
}
/** This is the hook through which all menu items are created. */
protected JMenuItem createMenuItem(String cmd) {
JMenuItem mi = new JMenuItem(getResourceString(cmd + labelSuffix));
URL url = getResource(cmd + imageSuffix);
if (url != null) {
mi.setHorizontalTextPosition(JButton.RIGHT);
mi.setIcon(new ImageIcon(url));
}
String astr = getProperty(cmd + actionSuffix);
if (astr == null) {
astr = cmd;
}
mi.setActionCommand(astr);
Action a = getAction(astr);
if (a != null) {
mi.addActionListener(a);
a.addPropertyChangeListener(createActionChangeListener(mi));
mi.setEnabled(a.isEnabled());
} else {
mi.setEnabled(false);
}
return mi;
}
/** Make the file menu */
private void makeFileMenu() {
fileMenu.removeAll();
fileMenu.add(makeMenuItem("New", 'n', GuiUtils.CMD_NEW));
fileMenu.addSeparator();
fileMenu.add(makeMenuItem("Save", 's', GuiUtils.CMD_SAVE));
fileMenu.add(makeMenuItem("Save As...", GuiUtils.CMD_SAVEAS));
fileMenu.add(makeMenuItem("Rename...", GuiUtils.CMD_RENAME));
fileMenu.addSeparator();
JMenuItem removeMenuItem = makeMenuItem("Remove", GuiUtils.CMD_REMOVE);
removeMenuItem.setEnabled(smm.isUsers(stationModel));
fileMenu.add(removeMenuItem);
fileMenu.addSeparator();
fileMenu.add(makeMenuItem("Import...", GuiUtils.CMD_IMPORT));
fileMenu.add(makeMenuItem("Export...", GuiUtils.CMD_EXPORT));
fileMenu.addSeparator();
fileMenu.add(makeMenuItem("Close", GuiUtils.CMD_CLOSE));
}
private void buildMenu() {
jMenuBar = new javax.swing.JMenuBar();
mainMenu = new javax.swing.JMenu();
mainMenu.setText("Main");
loginMenuItem = new JMenuItem("Login...");
loginMenuItem.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
headerPanel.handleLoginLogout();
}
});
mainMenu.add(loginMenuItem);
exitMenuItem = new JMenuItem("Exit");
exitMenuItem.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
if (qsadminMain.isConnected() == true) {
headerPanel.handleLoginLogout();
}
System.exit(0);
}
});
mainMenu.add(exitMenuItem);
helpMenu = new javax.swing.JMenu();
helpMenu.setText("Help");
aboutMenuItem = new JMenuItem("About...");
aboutMenuItem.setEnabled(true);
aboutMenuItem.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {
about();
}
});
helpMenu.add(aboutMenuItem);
jMenuBar.add(mainMenu);
jMenuBar.add(helpMenu);
parentFrame.setJMenuBar(jMenuBar);
}
public void show(Component invoker, int x, int y) {
Object o = getTree().getClosestPathForLocation(x, y).getLastPathComponent();
if (null != o) {
node = (Node) o;
if ((node instanceof AttrConfig) || (node instanceof Config)) {
newAttribute.setEnabled(true);
duplicate.setEnabled(true);
delete.setEnabled(true);
} else {
newAttribute.setEnabled(false);
duplicate.setEnabled(false);
delete.setEnabled(false);
}
super.show(invoker, x, y);
}
}
private void construct() {
Vector recent = BufferHistory.getBufferHistory();
JMenuItem item;
File file;
int max = recent.size();
int min = max - 20;
if (max == 0) {
item = new JMenuItem(jEdit.getProperty("MacOSPlugin.menu.recent.none"));
item.setEnabled(false);
add(item);
return;
}
if (min < 0) min = 0;
for (int i = max - 1; i >= min; i--) {
file = new File(((BufferHistory.Entry) recent.get(i)).path);
item = new ShowRecentMenuItem(file.getName(), file.getPath());
item.setIcon(FileCellRenderer.fileIcon);
add(item);
}
}
/** Disables the rewind action. */
public void disableRewind() {
rewindButton.setEnabled(false);
rewindMenuItem.setEnabled(false);
}
/** Enables the rewind action. */
public void enableRewind() {
rewindButton.setEnabled(true);
rewindMenuItem.setEnabled(true);
}
/** Disables the eject action. */
public void disableScript() {
scriptButton.setEnabled(false);
scriptMenuItem.setEnabled(false);
}
/** Enables the eject action. */
public void enableScript() {
scriptButton.setEnabled(true);
scriptMenuItem.setEnabled(true);
}
/** Disables the stop action. */
public void disableStop() {
stopButton.setEnabled(false);
stopMenuItem.setEnabled(false);
}
/** Disables the fast forward action. */
public void disableFastForward() {
ffwdButton.setEnabled(false);
ffwdMenuItem.setEnabled(false);
}
/** Enables the fast forward action. */
public void enableFastForward() {
ffwdButton.setEnabled(true);
ffwdMenuItem.setEnabled(true);
}
/** Disables the single step action. */
public void disableSingleStep() {
singleStepButton.setEnabled(false);
stepOverButton.setEnabled(false);
singleStepMenuItem.setEnabled(false);
}
/** Enables the single step action. */
public void enableSingleStep() {
singleStepButton.setEnabled(true);
stepOverButton.setEnabled(true);
singleStepMenuItem.setEnabled(true);
}
public void setEnabled(int index, boolean bEnabled) {
JMenuItem item = (JMenuItem) popup.getComponent(index);
if (item != null) item.setEnabled(bEnabled);
}
/** Adds the menu items to the menuber. */
protected void arrangeMenu() {
// Build the first menu.
fileMenu = new JMenu("File");
fileMenu.setMnemonic(KeyEvent.VK_F);
menuBar.add(fileMenu);
viewMenu = new JMenu("View");
viewMenu.setMnemonic(KeyEvent.VK_V);
menuBar.add(viewMenu);
runMenu = new JMenu("Run");
runMenu.setMnemonic(KeyEvent.VK_R);
menuBar.add(runMenu);
// Build the second menu.
helpMenu = new JMenu("Help");
helpMenu.setMnemonic(KeyEvent.VK_H);
menuBar.add(helpMenu);
programMenuItem = new JMenuItem("Load Program", KeyEvent.VK_O);
programMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
programMenuItem_actionPerformed();
}
});
fileMenu.add(programMenuItem);
scriptMenuItem = new JMenuItem("Load Script", KeyEvent.VK_P);
scriptMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptMenuItem_actionPerformed();
}
});
fileMenu.add(scriptMenuItem);
fileMenu.addSeparator();
exitMenuItem = new JMenuItem("Exit", KeyEvent.VK_X);
exitMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X, InputEvent.ALT_MASK));
exitMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
exitMenuItem_actionPerformed();
}
});
fileMenu.add(exitMenuItem);
viewMenu.addSeparator();
ButtonGroup animationRadioButtons = new ButtonGroup();
animationSubMenu = new JMenu("Animate");
animationSubMenu.setMnemonic(KeyEvent.VK_A);
viewMenu.add(animationSubMenu);
partAnimMenuItem = new JRadioButtonMenuItem("Program flow");
partAnimMenuItem.setMnemonic(KeyEvent.VK_P);
partAnimMenuItem.setSelected(true);
partAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
partAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(partAnimMenuItem);
animationSubMenu.add(partAnimMenuItem);
fullAnimMenuItem = new JRadioButtonMenuItem("Program & data flow");
fullAnimMenuItem.setMnemonic(KeyEvent.VK_D);
fullAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
fullAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(fullAnimMenuItem);
animationSubMenu.add(fullAnimMenuItem);
noAnimMenuItem = new JRadioButtonMenuItem("No Animation");
noAnimMenuItem.setMnemonic(KeyEvent.VK_N);
noAnimMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAnimMenuItem_actionPerformed();
}
});
animationRadioButtons.add(noAnimMenuItem);
animationSubMenu.add(noAnimMenuItem);
ButtonGroup additionalDisplayRadioButtons = new ButtonGroup();
additionalDisplaySubMenu = new JMenu("View");
additionalDisplaySubMenu.setMnemonic(KeyEvent.VK_V);
viewMenu.add(additionalDisplaySubMenu);
scriptDisplayMenuItem = new JRadioButtonMenuItem("Script");
scriptDisplayMenuItem.setMnemonic(KeyEvent.VK_S);
scriptDisplayMenuItem.setSelected(true);
scriptDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
scriptDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(scriptDisplayMenuItem);
additionalDisplaySubMenu.add(scriptDisplayMenuItem);
outputMenuItem = new JRadioButtonMenuItem("Output");
outputMenuItem.setMnemonic(KeyEvent.VK_O);
outputMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
outputMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(outputMenuItem);
additionalDisplaySubMenu.add(outputMenuItem);
compareMenuItem = new JRadioButtonMenuItem("Compare");
compareMenuItem.setMnemonic(KeyEvent.VK_C);
compareMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
compareMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(compareMenuItem);
additionalDisplaySubMenu.add(compareMenuItem);
noAdditionalDisplayMenuItem = new JRadioButtonMenuItem("Screen");
noAdditionalDisplayMenuItem.setMnemonic(KeyEvent.VK_N);
noAdditionalDisplayMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
noAdditionalDisplayMenuItem_actionPerformed();
}
});
additionalDisplayRadioButtons.add(noAdditionalDisplayMenuItem);
additionalDisplaySubMenu.add(noAdditionalDisplayMenuItem);
ButtonGroup formatRadioButtons = new ButtonGroup();
numericFormatSubMenu = new JMenu("Format");
numericFormatSubMenu.setMnemonic(KeyEvent.VK_F);
viewMenu.add(numericFormatSubMenu);
decMenuItem = new JRadioButtonMenuItem("Decimal");
decMenuItem.setMnemonic(KeyEvent.VK_D);
decMenuItem.setSelected(true);
decMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
decMenuItem_actionPerformed();
}
});
formatRadioButtons.add(decMenuItem);
numericFormatSubMenu.add(decMenuItem);
hexaMenuItem = new JRadioButtonMenuItem("Hexadecimal");
hexaMenuItem.setMnemonic(KeyEvent.VK_H);
hexaMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
hexaMenuItem_actionPerformed();
}
});
formatRadioButtons.add(hexaMenuItem);
numericFormatSubMenu.add(hexaMenuItem);
binMenuItem = new JRadioButtonMenuItem("Binary");
binMenuItem.setMnemonic(KeyEvent.VK_B);
binMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
binMenuItem_actionPerformed();
}
});
formatRadioButtons.add(binMenuItem);
numericFormatSubMenu.add(binMenuItem);
viewMenu.addSeparator();
singleStepMenuItem = new JMenuItem("Single Step", KeyEvent.VK_S);
singleStepMenuItem.setAccelerator(KeyStroke.getKeyStroke("F11"));
singleStepMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
singleStepMenuItem_actionPerformed();
}
});
runMenu.add(singleStepMenuItem);
ffwdMenuItem = new JMenuItem("Run", KeyEvent.VK_F);
ffwdMenuItem.setAccelerator(KeyStroke.getKeyStroke("F5"));
ffwdMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
ffwdMenuItem_actionPerformed();
}
});
runMenu.add(ffwdMenuItem);
stopMenuItem = new JMenuItem("Stop", KeyEvent.VK_T);
stopMenuItem.setAccelerator(KeyStroke.getKeyStroke("shift F5"));
stopMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopMenuItem_actionPerformed();
}
});
runMenu.add(stopMenuItem);
rewindMenuItem = new JMenuItem("Reset", KeyEvent.VK_R);
rewindMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
rewindMenuItem_actionPerformed();
}
});
runMenu.add(rewindMenuItem);
runMenu.addSeparator();
breakpointsMenuItem = new JMenuItem("Breakpoints", KeyEvent.VK_B);
breakpointsMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
breakpointsMenuItem_actionPerformed();
}
});
runMenu.add(breakpointsMenuItem);
profilerMenuItem = new JMenuItem("Profiler", KeyEvent.VK_I);
profilerMenuItem.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
showProfiler();
}
});
profilerMenuItem.setEnabled(false);
runMenu.add(profilerMenuItem);
usageMenuItem = new JMenuItem("Usage", KeyEvent.VK_U);
usageMenuItem.setAccelerator(KeyStroke.getKeyStroke("F1"));
usageMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
usageMenuItem_actionPerformed();
}
});
helpMenu.add(usageMenuItem);
aboutMenuItem = new JMenuItem("About ...", KeyEvent.VK_A);
aboutMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
aboutMenuItem_actionPerformed();
}
});
helpMenu.add(aboutMenuItem);
}
/** Enables the stop action. */
public void enableStop() {
stopButton.setEnabled(true);
stopMenuItem.setEnabled(true);
}
private void enableAnalysis() {
setAllEnabled(false);
analysisMenu.setEnabled(true);
// get info on state of analysis
String scriptFile;
Libgist.getAnalysisInfo(analysisInfo);
// newAnalysisItem not enabled: can't create new profile, we just closed the index
newAnalysisItem.setEnabled(false);
openAnalysisItem.setEnabled(true);
completeAnalysisItem.setEnabled(true);
wkldStatsItem.setEnabled(analysisInfo.actualHasWkldStats);
splitStatsItem.setEnabled(analysisInfo.actualHasSplitStats);
penaltyStatsItem.setEnabled(analysisInfo.actualHasPenaltyStats);
// general tree statistics are okay
treeStatsMenu.setEnabled(true);
utilItem.setEnabled(true);
predSzItem.setEnabled(true);
slotCntItem.setEnabled(true);
// can always select another index or exit
fileMenu.setEnabled(true);
newItem.setEnabled(true);
openItem.setEnabled(true);
exitItem.setEnabled(true);
}
