public interface JmolAppAPI
Modifier and Type | Method and Description |
---|---|
void |
addHistoryWindowInfo(String name,
Component window,
Point border) |
Point |
getHistoryWindowPosition(String windowName) |
Dimension |
getHistoryWindowSize(String windowName) |