final String refreshURL = plugin.getFullURL(entryPageUri);
/*
* Register custom callback functions.
*/
new BrowserFunction(browser, "swt_onGroupSelectionChanged")
{
public Object function(Object [] arguments)
{
if (!browserInitialized) return null;
Object [] ids = (Object[]) arguments[0];
int [] groupIds = new int [ids.length];
for (int i = 0; i < groupIds.length; i++) {
groupIds[i] = (int) Double.parseDouble(ids[i].toString());
}
doGroupSelection(groupIds);
return null;
}
};
new BrowserFunction(browser, "swt_onModelChanged")
{
public Object function(Object [] arguments)
{
if (!browserInitialized) return null;
selectionJob.reschedule(BROWSER_SELECTION_DELAY);
return null;
}
};
new BrowserFunction(browser, "swt_onVisualizationLoaded")
{
public Object function(Object [] arguments)
{
browserInitialized = true;
onBrowserReady();
ReloadXMLJob reloadXMLJob = new ReloadXMLJob("Browser loaded");
reloadXMLJob.reschedule(500);
return null;
}
};
new BrowserFunction(browser, "swt_log")
{
public Object function(Object [] arguments)
{
logger.info("JS->SWT log: " + Arrays.toString(arguments));
return null;