On Mon, Jan 23, 2006 at 12:25:12PM +0100, Attilio Fiandrotti wrote:
[...]
> +# this font size is good for 640x480 or 800x600 screens
> +GTK_FONT_DEAFULT_SIZE=12
You wrote DEAFULT instead of DEFAULT in the whole patch.
Moreover one could write
: ${GTK_FONT_DEFAULT_SIZE=12}
instead so that other components may change this default size, eg.
setting this parameter on the boot command line should work, which
is useful to perform tests.
Denis