log4j.logger.org.argeo.server.webextender.TomcatDeployer=WARN
log4j.logger.org.argeo.security.core=TRACE
log4j.logger.org.argeo.server.webextender.TomcatDeployer=WARN
log4j.logger.org.argeo.security.core=TRACE
+#log4j.logger.org.springframework.security=DEBUG
+
log4j.logger.org.apache.catalina=INFO
log4j.logger.org.apache.coyote=INFO
log4j.logger.org.apache.directory.server=ERROR
log4j.logger.org.apache.catalina=INFO
log4j.logger.org.apache.coyote=INFO
log4j.logger.org.apache.directory.server=ERROR
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Table;
import org.eclipse.ui.part.ViewPart;
import org.eclipse.swt.widgets.Table;
import org.eclipse.ui.part.ViewPart;
@Override
public void createPartControl(Composite parent) {
// FIXME doesn't return a monospace font in RAP
@Override
public void createPartControl(Composite parent) {
// FIXME doesn't return a monospace font in RAP
- Font font = JFaceResources.getTextFontDescriptor().setHeight(8)
- .createFont(Display.getCurrent());
+ Font font = JFaceResources.getTextFont();
Table table = new Table(parent, SWT.VIRTUAL | SWT.MULTI | SWT.H_SCROLL
| SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
table.setFont(font);
Table table = new Table(parent, SWT.VIRTUAL | SWT.MULTI | SWT.H_SCROLL
| SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
table.setFont(font);
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Table;
import org.eclipse.ui.part.ViewPart;
import org.eclipse.swt.widgets.Table;
import org.eclipse.ui.part.ViewPart;
@Override
public void createPartControl(Composite parent) {
@Override
public void createPartControl(Composite parent) {
- Font font = JFaceResources.getTextFontDescriptor().setHeight(8)
- .createFont(Display.getCurrent());
+ Font font = JFaceResources.getTextFont();
Table table = new Table(parent, SWT.VIRTUAL | SWT.MULTI | SWT.H_SCROLL
| SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
table.setFont(font);
Table table = new Table(parent, SWT.VIRTUAL | SWT.MULTI | SWT.H_SCROLL
| SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER);
table.setFont(font);