diff res/dwtx.jface.resource.jfacefonts_linux_gtk.properties @ 61:a5e7bf70c050

Fix keys from org.eclipse. to dwtx.
author Frank Benoit <benoit@tionex.de>
date Mon, 14 Apr 2008 02:08:22 +0200
parents b9ec89a5809c
children
line wrap: on
line diff
--- a/res/dwtx.jface.resource.jfacefonts_linux_gtk.properties	Mon Apr 14 00:46:30 2008 +0200
+++ b/res/dwtx.jface.resource.jfacefonts_linux_gtk.properties	Mon Apr 14 02:08:22 2008 +0200
@@ -10,6 +10,6 @@
 ###############################################################################
 # Linux GTK font file for JFace
 #############################################################
-org.eclipse.jface.bannerfont.0=Sans-bold-10
-org.eclipse.jface.headerfont.0=Sans-bold-12
-org.eclipse.jface.textfont.0=Monospace-regular-10
+dwtx.jface.bannerfont.0=Sans-bold-10
+dwtx.jface.headerfont.0=Sans-bold-12
+dwtx.jface.textfont.0=Monospace-regular-10