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

/barrelfish-master/usr/eclipseclp/CPViz/viztool/src/components/
H A DInternalFrame.java133 int WhichIndex = 0; field in class:InternalFrame
319 WhichIndex = num;
614 if (FileNames.size()>0 && WhichIndex != FileNames.size()-1){
616 WhichIndex++;
623 slide_images.setValue(WhichIndex);
624 String filenames[] = (String[])((LinkedList)FileNames).get(WhichIndex);
648 if ( WhichIndex == 0){
655 if ( WhichIndex == FileNames.size()-1){
759 WhichIndex = 0;
761 slide_images.setValue(WhichIndex);
[all...]

Completed in 27 milliseconds