Use defualt font siz for log

git-svn-id: https://svn.argeo.org/commons/trunk@5132 4cfe0d0a-d680-48aa-b62c-e0a02a3f76cc

diff --git a/security/plugins/org.argeo.security.ui/META-INF/spring/monitor.xml b/security/plugins/org.argeo.security.ui/META-INF/spring/monitor.xml
index 3c313de526907f89a9ddae042f232134d7d3a011..67f35998a619e4bfff8ef97d0b109eee2ed2b640 100644 (file)
--- a/security/plugins/org.argeo.security.ui/META-INF/spring/monitor.xml
+++ b/security/plugins/org.argeo.security.ui/META-INF/spring/monitor.xml
@@ -17,6 +17,8 @@ log4j.logger.org.argeo.jackrabbit.remote.ExtendedDispatcherServlet=WARN
 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

diff --git a/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/AdminLogView.java b/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/AdminLogView.java
index d99a93ed6d924edba7f0ac4724fb5b1ba55a8ffa..59b18e0a9054793f22d21fc543e4bda9ddc32979 100644 (file)
--- a/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/AdminLogView.java
+++ b/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/AdminLogView.java
@@ -10,7 +10,6 @@ import org.eclipse.jface.viewers.TableViewer;
 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;
 
@@ -28,8 +27,7 @@ public class AdminLogView extends ViewPart {
        @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);

diff --git a/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/LogView.java b/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/LogView.java
index 56857d3b533bbb8e146637ec64d3a0b301db028a..e783ba6f8ccbaba0fee330ae152527f1dc007ef9 100644 (file)
--- a/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/LogView.java
+++ b/security/plugins/org.argeo.security.ui/src/main/java/org/argeo/security/ui/views/LogView.java
@@ -11,7 +11,6 @@ import org.eclipse.jface.viewers.TableViewer;
 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;
 
@@ -29,8 +28,7 @@ public class LogView extends ViewPart {
 
        @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);