options.add(new UserActionAbstract("Diagnostics...", ActionType.DEBUG) {
@Override
public void execute(final Workspace workspace, final View view, final Location at) {
final InfoDebugFrame f = new InfoDebugFrame();
final DebuggableWithTitle info = new DebuggableWithTitle() {
@Override
public void debugData(final DebugBuilder debug) {
final ByteArrayOutputStream out2 = new ByteArrayOutputStream();
final PrintStream out = new PrintStream(out2);