if (!useDefaultSize && !buttonPressed) {
mag = _imageDisplay.getDefaultSearchMagRange();
}
// set the values in the query panel
CatalogQueryPanel catalogQueryPanel = getCatalogQueryPanel();
QueryArgs queryArgs = catalogQueryPanel.getQueryArgs();
if (mag != null) {
queryArgs.setParamValueRange("mag", mag[0], mag[1]);
}
try {
getCatalog().setRegionArgs(queryArgs, new CoordinateRadius(centerPos, minRadius, maxRadius, width, height));
catalogQueryPanel.setQueryArgs(queryArgs);
} catch (Exception ignored) {
}
}