Searched refs:oldPage (Results 1 - 2 of 2) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DFrameView.java371 URL oldPage = src;
382 if (oldPage.equals(src) && (src.getRef() == null) && (postData == null)) {
/openjdk7/jdk/src/share/classes/javax/swing/
H A DJTabbedPane.java597 Page oldPage = null, newPage = null;
608 oldPage = pages.get(oldIndex);
619 changeAccessibleSelection(oldPage, oldName, newPage);
623 private void changeAccessibleSelection(Page oldPage, String oldName, Page newPage) { argument
628 if (oldPage != null) {
629 oldPage.firePropertyChange(AccessibleContext.ACCESSIBLE_STATE_PROPERTY,

Completed in 37 milliseconds