public void adjustFont(int w, int h) {
if (h <= 0) return;
int oldH = rHeight;
if (font == null) {
font = getFont();
fontH = font.getSize();
rHeight = fontH;
}
nHeight = h;
if (fontH >= h) rHeight = h - 2;
else rHeight = fontH;
if ((rHeight < 10) && (fontH > 10)) rHeight = 10;
if (oldH != rHeight) {
// Font curFont = font.deriveFont((float) rHeight);
Font curFont = DisplayOptions.getFont(font.getName(), font.getStyle(), rHeight);
setFont(curFont);
}
if (rHeight > h) rHeight = h;
}
public void fillPopupMenu() {
JMenuItem item;
TextImageIcon textIcon;
StatementHistory history;
int rowCount = 0;
int numRows = 0;
Insets margin = new Insets(0, 0, 0, 0);
// Get the font defined in the displayOptions panel for menus
Font ft = DisplayOptions.getFont("Menu1");
// We need a fairly small font, so make it 2 smaller.
int size = ft.getSize();
// If larger than 12, subtract 2
if (size > 12) size -= 2;
Font font = DisplayOptions.getFont(ft.getName(), ft.getStyle(), size);
// This flag is used so that we only fill the menu when needed
if (menuAlreadyFilled) return;
menuAlreadyFilled = true;
history = sshare.statementHistory();
ArrayList list = history.getNamedStatementList();
Color bgColor = Util.getBgColor();
// Only show the Saved Statements section if there are some.
if (list != null && list.size() != 0) {
item = popup.add("Saved Statements");
rowCount++;
// item.setForeground(Color.blue);
// item.setBackground(bgColor);
item.setFont(font);
item.setMargin(margin);
popup.add(item);
for (int i = 0; i < list.size(); i++) {
ArrayList nameNlabel = (ArrayList) list.get(i);
// first item in nameNlabel is name and second is label
item = popup.add(" " + (String) nameNlabel.get(1));
rowCount++;
item.setActionCommand("save:" + (String) nameNlabel.get(0));
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
}
}
// the rest of menu (return object types, statement types, etc.)
ShufflerService shufflerService = sshare.shufflerService();
ArrayList objTypes = shufflerService.getAllMenuObjectTypes();
for (int i = 0; i < objTypes.size(); i++) {
String objType = (String) objTypes.get(i);
// Do not display menu for DB_AVAIL_SUB_TYPES
if (objType.equals(Shuf.DB_AVAIL_SUB_TYPES)) continue;
// addSeparator looks bad using GridLayout because it creates rows
// and columns which are all equal in size. It cannot have a row
// with a separator which is a different height than the other
// rectangles it creates. So just use dashes.
item = popup.add(separator);
item.setFont(font);
item.setMargin(margin);
rowCount++;
item = popup.add(shufflerService.getCategoryLabel(objType));
rowCount++;
// item.setForeground(Color.blue);
item.setActionCommand("title:" + objType);
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
ArrayList menuStrings = shufflerService.getmenuStringsThisObj(objType);
// If current rowCount plus the next section size is too big,
// specify the numRows to the current value of rowCount -1.
// That is, put this next section in a new column.
// 47 is emperical number of rows to fit 90% full screen.
if (numRows == 0 && rowCount - 1 + menuStrings.size() > 44) {
numRows = rowCount - 2;
}
for (int j = 0; j < menuStrings.size(); j++) {
String menuString = (String) menuStrings.get(j);
item = popup.add(" " + menuString);
rowCount++;
item.setActionCommand("command:" + objType + "/" + menuString);
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
}
// The spotter menu changes dynamically when
// the list of saved statements changes.
history.addStatementListener(
new StatementAdapter() {
public void saveListChanged() {
refreshSaveMenu();
}
});
}
if (numRows == 0) numRows = rowCount;
GridLayoutCol lm = new GridLayoutCol(numRows, 0);
popup.setLayout(lm);
}