hg: jmc/jmc: JMC-6180: Changing the Java source editor font changes the size of some values in the JMC tables

[jmatsuok at redhat.com]

Changeset: c4b6a87219c3
Author:    jmatsuoka <jmatsuok at redhat.com>
Date:      2018-12-17 17:33 -0500
URL:       http://hg.openjdk.java.net/jmc/jmc/rev/c4b6a87219c3

JMC-6180: Changing the Java source editor font changes the size of some values in the JMC tables
Summary: Editor font usage in tables/trees should use a font height consistent with other columns
Reviewed-by: hirt
Contributed-by: Elliott Baron <ebaron at redhat.com>

! application/org.openjdk.jmc.rjmx.ui/src/main/java/org/openjdk/jmc/rjmx/ui/attributes/ValueColumnLabelProvider.java
! application/uitests/org.openjdk.jmc.console.uitest/src/test/java/org/openjdk/jmc/console/uitest/MBeanBrowserTabTest.java
! application/uitests/org.openjdk.jmc.test.jemmy/src/test/java/org/openjdk/jmc/test/jemmy/misc/wrappers/MCTree.java