CloneSet9115

plugins/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/propertypages/ExceptionFilterEditor.java

plugins/org.eclipse.jdt.junit/src/org/eclipse/jdt/internal/junit/ui/JUnitPreferencePage.java

                fNewTableItem = fFilterTable.getItem(0);

                // create & configure Text widget for editor
                // Fix for bug 1766.  Border behavior on for text fields varies per platform.
                // On Motif, you always get a border, on other platforms,
                // you don't.  Specifying a border on Motif results in the characters
                // getting pushed down so that only there very tops are visible.  Thus,
                // we have to specify different style constants for the different platforms.
                int textStyles = SWT.SINGLE|  SWT.LEFT;

                fNewTableItem = fFilterTable.getItem(0);

                // create & configure Text widget for editor
                // Fix for bug 1766.  Border behavior on for text fields varies per platform.
                // On Motif, you always get a border, on other platforms,
                // you don't.  Specifying a border on Motif results in the characters
                // getting pushed down so that only there very tops are visible.  Thus,
                // we have to specify different style constants for the different platforms.
                int textStyles = SWT.SINGLE|  SWT.LEFT;

fNewTableItem = fFilterTable.getItem(0);
// create & configure Text widget for editor
// Fix for bug 1766.  Border behavior on for text fields varies per platform.
// On Motif, you always get a border, on other platforms,
// you don't.  Specifying a border on Motif results in the characters
// getting pushed down so that only there very tops are visible.  Thus,
// we have to specify different style constants for the different platforms.
int textStyles = SWT.SINGLE|SWT.LEFT;