tree 973147629c5dac39f95188600955ee7813630436
parent c0ce4e2038171709fe56f9474b43c1180021567a
author Mickael Istria <mistria@redhat.com> 1521101308 +0100
committer Sarika Sinha <sarika.sinha@in.ibm.com> 1523439440 -0400

Bug 532472 - Debug Shell font should be the same as Java Editor font

Change-Id: I1850c84e8539468855278423a11ac2ad0090a938
Signed-off-by: Mickael Istria <mistria@redhat.com>