private void warnOfContentChange ( ) { IConsole [ ] consoles = ConsolePlugin . getDefault ( ) . getConsoleManager ( ) . getConsoles ( ) ; for ( IConsole iConsole : consoles ) { if ( iConsole instanceof VdmDebugConsole ) { VdmDebugConsole vdmC = ( VdmDebugConsole ) iConsole ; vdmC . activate ( ) ; } } // if (warn != null) { // ConsolePlugin.getDefault().getConsoleManager() // .warnOfContentChange(warn); // } }
send notification of a change of content in this console