Generated by
JDiff

Interface org.jhotdraw.app.View

Added Methods
boolean isEmpty() Whether the view is empty.