// TODO: maybe have a nice dialog with a scrollbar, in case there are
// a lot of messages...
Preferences prefs = TiledConfiguration.node("io");
if (prefs.getBoolean("reportWarnings", false)) {
PluginLogDialog pld = new PluginLogDialog();
/*if (!s.isEmpty()) {
Iterator itr = s.iterator();
StringBuffer warnings = new StringBuffer();
while (itr.hasNext()) {
warnings.append(itr.next()).append("\n");