171172173174175176177178179180181
} private void publishMessage(String msg) { ApplicationWindow window = windowSection.getWindow(); if (window != null) { window.postApplicationMessageEvent(new ApplicationMessageEvent(this, msg)); } } }