org.grinvin.graphbrowser.commands

Class CloseConjecturingWindow


public class CloseConjecturingWindow
extends ActionCommand

Author:
adpeeter

Constructor Summary

CloseConjecturingWindow(CommandManager manager, String id)
Construct an action command of this type.

Method Summary

void
handleExecute()

Constructor Details

CloseConjecturingWindow

public CloseConjecturingWindow(CommandManager manager,
                               String id)
Construct an action command of this type.
Parameters:
manager - Command manager, which must be of class AttributedCommandManager

Method Details

handleExecute

public void handleExecute()