equal
deleted
inserted
replaced
967 // NOTE 4/15/2002 (joutwate): |
967 // NOTE 4/15/2002 (joutwate): |
968 // This fix is implemented using client properties since there is |
968 // This fix is implemented using client properties since there is |
969 // currently no IndexPropertyChangeEvent. Once |
969 // currently no IndexPropertyChangeEvent. Once |
970 // IndexPropertyChangeEvents have been added this code should be |
970 // IndexPropertyChangeEvents have been added this code should be |
971 // modified to use it. |
971 // modified to use it. |
972 putClientProperty("__index_to_remove__", new Integer(index)); |
972 putClientProperty("__index_to_remove__", Integer.valueOf(index)); |
973 |
973 |
974 /* if the selected tab is after the removal */ |
974 /* if the selected tab is after the removal */ |
975 if (selected > index) { |
975 if (selected > index) { |
976 setSelectedIndexImpl(selected - 1, false); |
976 setSelectedIndexImpl(selected - 1, false); |
977 |
977 |