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