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

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