18031804180518061807180818091810181118121813
} if (n == null) return; PublishNotebook publish = new PublishNotebook(Global.username, Global.getServer(), n); publish.exec(); if (!publish.okClicked()) return; Publishing p = publish.getPublishing();