JPopupMenu popup = new JPopupMenu();
int currentPosition = stack.getPosition();
int min = Math.max(0, currentPosition - 9);
int max = Math.min(stack.size(), currentPosition + 10);
for (int n = min; n < max; ++n) {
Editor e = stack.getEditorAt(n);
JMenuItem mi = new JCheckBoxMenuItem(new EditorSwitchAction(stack, e, n));
if (n == currentPosition) {
mi.setSelected(true);
}
popup.add(mi);