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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
36
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
1 ###############################################################################
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
2 # Copyright (c) 2000, 2006 IBM Corporation and others.
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
3 # All rights reserved. This program and the accompanying materials
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
4 # are made available under the terms of the Eclipse Public License v1.0
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
5 # which accompanies this distribution, and is available at
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
6 # http://www.eclipse.org/legal/epl-v10.html
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
7 #
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
8 # Contributors:
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
9 # IBM Corporation - initial API and implementation
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
10 ###############################################################################
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
11 # Linux GTK font file for JFace
b9ec89a5809c add res folder
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
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