227228229230231232233
if (reindex) index(); } public void settings() { new SettingsDialog(this, imageDisplay, settings.getSettingsRanges(), settings.getSettings()); }