head	1.3;
access;
symbols
	SLASHEM_0_0_7E0:1.2
	SLASHEM_0_0_6E8:1.2
	SLASHEM_0_0_6E7:1.2
	SLASHEM_0_0_6E6:1.2
	SLASHEM_0_0_6E4F8:1.2
	SLASHEM_0_0_6E4F7:1.2
	SLASHEM_0_0_6E5F2:1.2
	SLASHEM_0_0_6E4F6:1.2
	SLASHEM_0_0_6E5F1:1.2
	SLASHEM_0_0_6E4F5:1.2
	SLASHEM_0_0_6E5:1.2
	SLASHEM_0_0_6E4F4:1.2;
locks; strict;
comment	@# @;


1.3
date	2003.05.03.11.12.28;	author j_ali;	state dead;
branches;
next	1.2;

1.2
date	2001.04.22.17.21.20;	author j_ali;	state Exp;
branches;
next	1.1;

1.1
date	2001.04.12.06.19.00;	author j_ali;	state Exp;
branches;
next	;


desc
@@


1.3
log
@Replace obsolete GTK 1.2 interface with new 2.x version
@
text
@#
#
#
style "text"
{
    font_name = "fixed Medium 12"
}
style "map"
{
    # Map font:
    #
    # FIXME: There is currently no way to use the IBMgraphics option.
    #

    # Map colours:
    #
    # - These are only used in character mode.
    # - fg is not used when color option is set.
    # - The five states have no real meaning and should normally take the
    #   same values.
    # - In color mode, certain values of bg[NORMAL] are checked for:
    #   * { 0.0, 0.0, 0.0 } causes normally black symbols to be drawn in white.
    #   * { 1.0, 1.0, 1.0 } causes normally white symbols to be drawn in black.
    #   Note: only these exact values are detected (barring rounding errors).
    #
    bg[NORMAL] = { 0.15, 0.15, 0.15 }
    bg[PRELIGHT] = { 0.15, 0.15, 0.15 }
    bg[ACTIVE] = { 0.15, 0.15, 0.15 }
    bg[SELECTED] = { 0.15, 0.15, 0.15 }
    bg[INSENSITIVE] = { 0.15, 0.15, 0.15 }
    fg[NORMAL] = { 1.0, 1.0, 1.0 }
    fg[PRELIGHT] = { 1.0, 1.0, 1.0 }
    fg[ACTIVE] = { 1.0, 1.0, 1.0 }
    fg[SELECTED] = { 1.0, 1.0, 1.0 }
    fg[INSENSITIVE] = { 1.0, 1.0, 1.0 }
}

widget "fixed font*GtkText" style "text"
widget "fixed font*GtkCList" style "text"
widget "SlashEM.*.map" style "map"
@


1.2
log
@Fixed bug 413966: Colours in map style ignored.
@
text
@@


1.1
log
@Implemented a first cut at a GTK 2.0 interface (in win/gtk2).

This is much faster and cleaner than the old 1.2 interface, but there
is still a lot of work to be done. Eventually this interface will
replace the old (1.2) interface, but not before it supports both GTK+
1.2.x and win32 (neither of which currently work).

This interface fixes bug 232030: GTK: Can't start in character mode.
@
text
@d6 30
a35 1
	fontset = "-misc-fixed-medium-r-normal--14-*-*-*-*-*-*-*"
d40 1
@

