Closes #449

protegeproject · Jun 17, 2016 · 7b77af8 · 7b77af8
1 parent 3bfc785
commit 7b77af8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/metrics/MetricsPanel.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/metrics/MetricsPanel.java
@@ -4,6 +4,7 @@
 import org.protege.editor.owl.OWLEditorKit;
 import org.protege.editor.owl.model.OWLModelManager;
 import org.protege.editor.owl.ui.OWLAxiomTypeFramePanel;
+import org.protege.editor.owl.ui.renderer.OWLRendererPreferences;
 import org.semanticweb.owlapi.metrics.*;
 import org.semanticweb.owlapi.model.AxiomType;
 import org.semanticweb.owlapi.model.OWLAxiom;
@@ -108,7 +109,9 @@ private void createUI() {
             tableModelMap.put(metricManagerMap.get(metricsSet), tableModel);
             final JTable table = new JTable(tableModel);
             table.setGridColor(new Color(240, 240, 240));
-            table.setRowHeight(table.getRowHeight() + 4);
+            int fontSize = OWLRendererPreferences.getInstance().getFontSize();
+            table.setRowHeight(table.getRowHeight() + ( 2 * fontSize / 4));
+            table.setFont(OWLRendererPreferences.getInstance().getFont());
             table.setShowGrid(true);
             table.getColumnModel().getColumn(1).setMaxWidth(150);
             table.addMouseListener(new MouseAdapter() {