org.graphstream.ui.view

Interface ViewerListener

public interface ViewerListener

Listener for specific viewer events.

Method Summary

Methods

Modifier and Type	Method and Description
void	buttonPushed(String id)
void	buttonReleased(String id)
void	viewClosed(String viewName)

Method Detail

viewClosed

void viewClosed(String viewName)

buttonPushed

void buttonPushed(String id)

buttonReleased

void buttonReleased(String id)