Changeset 61:a5e7bf70c050 for res/dwtx.jface.resource.jfacefonts.properties
- Timestamp:
- 04/13/08 20:08:22 (9 months ago)
- Files:
-
- res/dwtx.jface.resource.jfacefonts.properties (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
res/dwtx.jface.resource.jfacefonts.properties
r36 r61 13 13 # *.1 is Unix font 14 14 ############################################################# 15 org.eclipse.jface.bannerfont.0=MS Sans Serif-bold-1016 org.eclipse.jface.bannerfont.1=b&h-lucidabright-regular-1015 dwtx.jface.bannerfont.0=MS Sans Serif-bold-10 16 dwtx.jface.bannerfont.1=b&h-lucidabright-regular-10 17 17 18 org.eclipse.jface.headerfont.0=MS Sans Serif-bold-1219 org.eclipse.jface.headerfont.1=b&h-lucidabright-regular-1218 dwtx.jface.headerfont.0=MS Sans Serif-bold-12 19 dwtx.jface.headerfont.1=b&h-lucidabright-regular-12 20 20 21 org.eclipse.jface.textfont.0=Courier New-regular-1022 org.eclipse.jface.textfont.1=Courier-regular-1023 org.eclipse.jface.textfont.2=b&h-lucidabright-regular-921 dwtx.jface.textfont.0=Courier New-regular-10 22 dwtx.jface.textfont.1=Courier-regular-10 23 dwtx.jface.textfont.2=b&h-lucidabright-regular-9
