Search Results
OK to copy?
Examples 1 through 3 of
3 (0.0010 seconds)
40 if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED)
41 {
42 String ref = e.getURL().getRef();
43 if (ref != null && ref.length() > 0)
44 {
267 while (iter.hasNext()) {
268 URL url = (URL)iter.next();
269 if (url.sameFile(key) && url.getRef().equals(key.getRef())) {
270 return true;
271 }
185 path = null;
186
187 ref = url.getRef();
188 if ((ref != null) && (ref.length() == 0))
189 ref = null;
Result Page:
1