Searched refs:newUrl (Results 1 – 2 of 2) sorted by relevance
136 String newUrl; in resolveEntity() local138 newUrl = xFile.toURI().toURL().toString(); in resolveEntity()139 if (gDebug) System.err.println("CRE: redir to " + newUrl); in resolveEntity()141 InputSource is = new InputSource(newUrl); in resolveEntity()
115 String newUrl = Window.Location.getPath() + "#" + historyToken; in openHistoryToken() local116 Utils.openUrlInNewWindow(URL.encode(newUrl)); in openHistoryToken()