Mercurial > projects > dwt-addons
annotate res/dwtx.jface.resource.jfacefonts_linux_gtk.properties @ 200:eb3414669eb0 default tip
fix for dmd 1.041 and tango 0.99.8
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sat, 28 Mar 2009 03:09:57 +0100 |
parents | a5e7bf70c050 |
children |
rev | line source |
---|---|
36 | 1 ############################################################################### |
2 # Copyright (c) 2000, 2006 IBM Corporation and others. | |
3 # All rights reserved. This program and the accompanying materials | |
4 # are made available under the terms of the Eclipse Public License v1.0 | |
5 # which accompanies this distribution, and is available at | |
6 # http://www.eclipse.org/legal/epl-v10.html | |
7 # | |
8 # Contributors: | |
9 # IBM Corporation - initial API and implementation | |
10 ############################################################################### | |
11 # Linux GTK font file for JFace | |
12 ############################################################# | |
61
a5e7bf70c050
Fix keys from org.eclipse. to dwtx.
Frank Benoit <benoit@tionex.de>
parents:
36
diff
changeset
|
13 dwtx.jface.bannerfont.0=Sans-bold-10 |
a5e7bf70c050
Fix keys from org.eclipse. to dwtx.
Frank Benoit <benoit@tionex.de>
parents:
36
diff
changeset
|
14 dwtx.jface.headerfont.0=Sans-bold-12 |
a5e7bf70c050
Fix keys from org.eclipse. to dwtx.
Frank Benoit <benoit@tionex.de>
parents:
36
diff
changeset
|
15 dwtx.jface.textfont.0=Monospace-regular-10 |