# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1221081445 -7200
# Node ID 8995e830f75e94620a0e637240279290aed8ce7c
# Parent  d994a8b2cdf7a603ecea2e19a0dad50968cb98d3
rm pragma msg

diff -r d994a8b2cdf7 -r 8995e830f75e dwtx/jface/internal/text/html/BrowserInformationControl.d
--- a/dwtx/jface/internal/text/html/BrowserInformationControl.d	Wed Sep 10 23:14:02 2008 +0200
+++ b/dwtx/jface/internal/text/html/BrowserInformationControl.d	Wed Sep 10 23:17:25 2008 +0200
@@ -30,7 +30,7 @@
 import dwtx.jface.text.IDelayedInputChangeProvider;
 import dwtx.jface.text.IInputChangedListener;
 
-pragma( msg, "dwtx.jface.internal.text.html.BrowserInformationControl: SWT browser control missing" );
+//pragma( msg, "dwtx.jface.internal.text.html.BrowserInformationControl: SWT browser control missing" );
 class BrowserInformationControl : AbstractInformationControl , IInformationControlExtension2, IDelayedInputChangeProvider {
     public this(Shell parent, String symbolicFontName, bool resizable){
         super(parent, resizable);