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