    indexing
    	description: "SPI constants for SystemParametersInfo."
    	legal: "See notice at end of class."
    	status: "See notice at end of class."
    	date: "$Date: 2006-01-22 18:25:44 -0800 (Sun, 22 Jan 2006) $"
    	revision: "$Revision: 56675 $"

    class interface
    	WEL_SPI_CONSTANTS

    create
    	default_create
    			-- Process instances of classes with no creation clause.
    			-- (Default: do nothing.)
    			-- (from ANY)

    feature -- Access

    	generating_type: STRING_8
    			-- Name of current object's generating type
    			-- (type of which it is a direct instance)
    			-- (from ANY)

    	generator: STRING_8
    			-- Name of current object's generating class
    			-- (base class of the type of which it is a direct instance)
    			-- (from ANY)

    feature -- Comparison

    	frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void
    			-- or attached to isomorphic object structures?
    			-- (from ANY)
    		ensure -- from ANY
    			shallow_implies_deep: standard_equal (some, other) implies Result
    			both_or_none_void: (some = Void) implies (Result = (other = Void))
    			same_type: (Result and (some /= Void)) implies some.same_type (other)
    			symmetric: Result implies deep_equal (other, some)

    	frozen equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void or attached
    			-- to objects considered equal?
    			-- (from ANY)
    		ensure -- from ANY
    			definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))

    	is_equal (other: like Current): BOOLEAN
    			-- Is `other' attached to an object considered
    			-- equal to current object?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			symmetric: Result implies other.is_equal (Current)
    			consistent: standard_is_equal (other) implies Result

    	frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
    			-- Are `some' and `other' either both void or attached to
    			-- field-by-field identical objects of the same type?
    			-- Always uses default object comparison criterion.
    			-- (from ANY)
    		ensure -- from ANY
    			definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))

    	frozen standard_is_equal (other: like Current): BOOLEAN
    			-- Is `other' attached to an object of the same type
    			-- as current object, and field-by-field identical to it?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			same_type: Result implies same_type (other)
    			symmetric: Result implies other.standard_is_equal (Current)

    feature -- Status report

    	conforms_to (other: ANY): BOOLEAN
    			-- Does type of current object conform to type
    			-- of `other' (as per Eiffel: The Language, chapter 13)?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void

    	same_type (other: ANY): BOOLEAN
    			-- Is type of current object identical to type of `other'?
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			definition: Result = (conforms_to (other) and other.conforms_to (Current))

    feature -- Duplication

    	copy (other: like Current)
    			-- Update current object using fields of object attached
    			-- to `other', so as to yield equal objects.
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    			type_identity: same_type (other)
    		ensure -- from ANY
    			is_equal: is_equal (other)

    	frozen deep_copy (other: like Current)
    			-- Effect equivalent to that of:
    			--		copy (`other' . deep_twin)
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    		ensure -- from ANY
    			deep_equal: deep_equal (Current, other)

    	frozen deep_twin: like Current
    			-- New object structure recursively duplicated from Current.
    			-- (from ANY)
    		ensure -- from ANY
    			deep_equal: deep_equal (Current, Result)

    	frozen standard_copy (other: like Current)
    			-- Copy every field of `other' onto corresponding field
    			-- of current object.
    			-- (from ANY)
    		require -- from ANY
    			other_not_void: other /= Void
    			type_identity: same_type (other)
    		ensure -- from ANY
    			is_standard_equal: standard_is_equal (other)

    	frozen standard_twin: like Current
    			-- New object field-by-field identical to `other'.
    			-- Always uses default copying semantics.
    			-- (from ANY)
    		ensure -- from ANY
    			standard_twin_not_void: Result /= Void
    			equal: standard_equal (Result, Current)

    	frozen twin: like Current
    			-- New object equal to `Current'
    			-- twin calls copy; to change copying/twining semantics, redefine copy.
    			-- (from ANY)
    		ensure -- from ANY
    			twin_not_void: Result /= Void
    			is_equal: Result.is_equal (Current)

    feature -- Basic operations

    	frozen default: like Current
    			-- Default value of object's type
    			-- (from ANY)

    	frozen default_pointer: POINTER
    			-- Default value of type `POINTER'
    			-- (Avoid the need to write `p'.default for
    			-- some `p' of type `POINTER'.)
    			-- (from ANY)

    	default_rescue
    			-- Process exception for routines with no Rescue clause.
    			-- (Default: do nothing.)
    			-- (from ANY)

    	frozen do_nothing
    			-- Execute a null action.
    			-- (from ANY)

    feature -- Output

    	io: STD_FILES
    			-- Handle to standard file setup
    			-- (from ANY)

    	out: STRING_8
    			-- New string containing terse printable representation
    			-- of current object
    			-- Was declared in ANY as synonym of tagged_out.
    			-- (from ANY)

    	print (some: ANY)
    			-- Write terse external representation of `some'
    			-- on standard output.
    			-- (from ANY)

    	frozen tagged_out: STRING_8
    			-- New string containing terse printable representation
    			-- of current object
    			-- Was declared in ANY as synonym of out.
    			-- (from ANY)

    feature -- Platform

    	operating_environment: OPERATING_ENVIRONMENT
    			-- Objects available from the operating system
    			-- (from ANY)

    feature -- SystemParameter (All Windows)

    	spi_getaccesstimeout: INTEGER_32 is 60
    			-- Declared in Windows as SPI_GETACCESSTIMEOUT

    	spi_getanimation: INTEGER_32 is 72
    			-- Declared in Windows as SPI_GETANIMATION

    	spi_getbeep: INTEGER_32 is 1
    			-- Declared in Windows as SPI_GETBEEP

    	spi_getborder: INTEGER_32 is 5
    			-- Declared in Windows as SPI_GETBORDER

    	spi_getdefaultinputlang: INTEGER_32 is 89
    			-- Declared in Windows as SPI_GETDEFAULTINPUTLANG

    	spi_getdragfullwindows: INTEGER_32 is 38
    			-- Declared in Windows as SPI_GETDRAGFULLWINDOWS

    	spi_getfasttaskswitch: INTEGER_32 is 35
    			-- Declared in Windows as SPI_GETFASTTASKSWITCH

    	spi_getfilterkeys: INTEGER_32 is 50
    			-- Declared in Windows as SPI_GETFILTERKEYS

    	spi_getfontsmoothing: INTEGER_32 is 74
    			-- Declared in Windows as SPI_GETFONTSMOOTHING

    	spi_getgridgranularity: INTEGER_32 is 18
    			-- Declared in Windows as SPI_GETGRIDGRANULARITY

    	spi_gethighcontrast: INTEGER_32 is 66
    			-- Declared in Windows as SPI_GETHIGHCONTRAST

    	spi_geticonmetrics: INTEGER_32 is 45
    			-- Declared in Windows as SPI_GETICONMETRICS

    	spi_geticontitlelogfont: INTEGER_32 is 31
    			-- Declared in Windows as SPI_GETICONTITLELOGFONT

    	spi_geticontitlewrap: INTEGER_32 is 25
    			-- Declared in Windows as SPI_GETICONTITLEWRAP

    	spi_getkeyboarddelay: INTEGER_32 is 22
    			-- Declared in Windows as SPI_GETKEYBOARDDELAY

    	spi_getkeyboardpref: INTEGER_32 is 68
    			-- Declared in Windows as SPI_GETKEYBOARDPREF

    	spi_getkeyboardspeed: INTEGER_32 is 10
    			-- Declared in Windows as SPI_GETKEYBOARDSPEED

    	spi_getlowpoweractive: INTEGER_32 is 83
    			-- Declared in Windows as SPI_GETLOWPOWERACTIVE

    	spi_getlowpowertimeout: INTEGER_32 is 79
    			-- Declared in Windows as SPI_GETLOWPOWERTIMEOUT

    	spi_getmenudropalignment: INTEGER_32 is 27
    			-- Declared in Windows as SPI_GETMENUDROPALIGNMENT

    	spi_getminimizedmetrics: INTEGER_32 is 43
    			-- Declared in Windows as SPI_GETMINIMIZEDMETRICS

    	spi_getmouse: INTEGER_32 is 3
    			-- Declared in Windows as SPI_GETMOUSE

    	spi_getmousekeys: INTEGER_32 is 54
    			-- Declared in Windows as SPI_GETMOUSEKEYS

    	spi_getmousetrails: INTEGER_32 is 94
    			-- Declared in Windows as SPI_GETMOUSETRAILS

    	spi_getnonclientmetrics: INTEGER_32 is 41
    			-- Declared in Windows as SPI_GETNONCLIENTMETRICS

    	spi_getpoweroffactive: INTEGER_32 is 84
    			-- Declared in Windows as SPI_GETPOWEROFFACTIVE

    	spi_getpowerofftimeout: INTEGER_32 is 80
    			-- Declared in Windows as SPI_GETPOWEROFFTIMEOUT

    	spi_getscreenreader: INTEGER_32 is 70
    			-- Declared in Windows as SPI_GETSCREENREADER

    	spi_getscreensaveactive: INTEGER_32 is 16
    			-- Declared in Windows as SPI_GETSCREENSAVEACTIVE

    	spi_getscreensavetimeout: INTEGER_32 is 14
    			-- Declared in Windows as SPI_GETSCREENSAVETIMEOUT

    	spi_getserialkeys: INTEGER_32 is 62
    			-- Declared in Windows as SPI_GETSERIALKEYS

    	spi_getshowsounds: INTEGER_32 is 56
    			-- Declared in Windows as SPI_GETSHOWSOUNDS

    	spi_getsnaptodefbutton: INTEGER_32 is 95
    			-- Declared in Windows as SPI_GETSNAPTODEFBUTTON

    	spi_getsoundsentry: INTEGER_32 is 64
    			-- Declared in Windows as SPI_GETSOUNDSENTRY

    	spi_getstickykeys: INTEGER_32 is 58
    			-- Declared in Windows as SPI_GETSTICKYKEYS

    	spi_gettogglekeys: INTEGER_32 is 52
    			-- Declared in Windows as SPI_GETTOGGLEKEYS

    	spi_getwindowsextension: INTEGER_32 is 92
    			-- Declared in Windows as SPI_GETWINDOWSEXTENSION

    	spi_getworkarea: INTEGER_32 is 48
    			-- Declared in Windows as SPI_GETWORKAREA

    	spi_iconhorizontalspacing: INTEGER_32 is 13
    			-- Declared in Windows as SPI_ICONHORIZONTALSPACING

    	spi_iconverticalspacing: INTEGER_32 is 24
    			-- Declared in Windows as SPI_ICONVERTICALSPACING

    	spi_langdriver: INTEGER_32 is 12
    			-- Declared in Windows as SPI_LANGDRIVER

    	spi_screensaverrunning: INTEGER_32 is 97
    			-- Declared in Windows as SPI_SCREENSAVERRUNNING

    	spi_setaccesstimeout: INTEGER_32 is 61
    			-- Declared in Windows as SPI_SETACCESSTIMEOUT

    	spi_setanimation: INTEGER_32 is 73
    			-- Declared in Windows as SPI_SETANIMATION

    	spi_setbeep: INTEGER_32 is 2
    			-- Declared in Windows as SPI_SETBEEP

    	spi_setborder: INTEGER_32 is 6
    			-- Declared in Windows as SPI_SETBORDER

    	spi_setcursors: INTEGER_32 is 87
    			-- Declared in Windows as SPI_SETCURSORS

    	spi_setdefaultinputlang: INTEGER_32 is 90
    			-- Declared in Windows as SPI_SETDEFAULTINPUTLANG

    	spi_setdeskpattern: INTEGER_32 is 21
    			-- Declared in Windows as SPI_SETDESKPATTERN

    	spi_setdeskwallpaper: INTEGER_32 is 20
    			-- Declared in Windows as SPI_SETDESKWALLPAPER

    	spi_setdoubleclicktime: INTEGER_32 is 32
    			-- Declared in Windows as SPI_SETDOUBLECLICKTIME

    	spi_setdoubleclkheight: INTEGER_32 is 30
    			-- Declared in Windows as SPI_SETDOUBLECLKHEIGHT

    	spi_setdoubleclkwidth: INTEGER_32 is 29
    			-- Declared in Windows as SPI_SETDOUBLECLKWIDTH

    	spi_setdragfullwindows: INTEGER_32 is 37
    			-- Declared in Windows as SPI_SETDRAGFULLWINDOWS

    	spi_setdragheight: INTEGER_32 is 77
    			-- Declared in Windows as SPI_SETDRAGHEIGHT

    	spi_setdragwidth: INTEGER_32 is 76
    			-- Declared in Windows as SPI_SETDRAGWIDTH

    	spi_setfasttaskswitch: INTEGER_32 is 36
    			-- Declared in Windows as SPI_SETFASTTASKSWITCH

    	spi_setfilterkeys: INTEGER_32 is 51
    			-- Declared in Windows as SPI_SETFILTERKEYS

    	spi_setfontsmoothing: INTEGER_32 is 75
    			-- Declared in Windows as SPI_SETFONTSMOOTHING

    	spi_setgridgranularity: INTEGER_32 is 19
    			-- Declared in Windows as SPI_SETGRIDGRANULARITY

    	spi_sethandheld: INTEGER_32 is 78
    			-- Declared in Windows as SPI_SETHANDHELD

    	spi_sethighcontrast: INTEGER_32 is 67
    			-- Declared in Windows as SPI_SETHIGHCONTRAST

    	spi_seticonmetrics: INTEGER_32 is 46
    			-- Declared in Windows as SPI_SETICONMETRICS

    	spi_seticons: INTEGER_32 is 88
    			-- Declared in Windows as SPI_SETICONS

    	spi_seticontitlelogfont: INTEGER_32 is 34
    			-- Declared in Windows as SPI_SETICONTITLELOGFONT

    	spi_seticontitlewrap: INTEGER_32 is 26
    			-- Declared in Windows as SPI_SETICONTITLEWRAP

    	spi_setkeyboarddelay: INTEGER_32 is 23
    			-- Declared in Windows as SPI_SETKEYBOARDDELAY

    	spi_setkeyboardpref: INTEGER_32 is 69
    			-- Declared in Windows as SPI_SETKEYBOARDPREF

    	spi_setkeyboardspeed: INTEGER_32 is 11
    			-- Declared in Windows as SPI_SETKEYBOARDSPEED

    	spi_setlangtoggle: INTEGER_32 is 91
    			-- Declared in Windows as SPI_SETLANGTOGGLE

    	spi_setlowpoweractive: INTEGER_32 is 85
    			-- Declared in Windows as SPI_SETLOWPOWERACTIVE

    	spi_setlowpowertimeout: INTEGER_32 is 81
    			-- Declared in Windows as SPI_SETLOWPOWERTIMEOUT

    	spi_setmenudropalignment: INTEGER_32 is 28
    			-- Declared in Windows as SPI_SETMENUDROPALIGNMENT

    	spi_setminimizedmetrics: INTEGER_32 is 44
    			-- Declared in Windows as SPI_SETMINIMIZEDMETRICS

    	spi_setmouse: INTEGER_32 is 4
    			-- Declared in Windows as SPI_SETMOUSE

    	spi_setmousebuttonswap: INTEGER_32 is 33
    			-- Declared in Windows as SPI_SETMOUSEBUTTONSWAP

    	spi_setmousekeys: INTEGER_32 is 55
    			-- Declared in Windows as SPI_SETMOUSEKEYS

    	spi_setmousetrails: INTEGER_32 is 93
    			-- Declared in Windows as SPI_SETMOUSETRAILS

    	spi_setnonclientmetrics: INTEGER_32 is 42
    			-- Declared in Windows as SPI_SETNONCLIENTMETRICS

    	spi_setpenwindows: INTEGER_32 is 49
    			-- Declared in Windows as SPI_SETPENWINDOWS

    	spi_setpoweroffactive: INTEGER_32 is 86
    			-- Declared in Windows as SPI_SETPOWEROFFACTIVE

    	spi_setpowerofftimeout: INTEGER_32 is 82
    			-- Declared in Windows as SPI_SETPOWEROFFTIMEOUT

    	spi_setscreenreader: INTEGER_32 is 71
    			-- Declared in Windows as SPI_SETSCREENREADER

    	spi_setscreensaveactive: INTEGER_32 is 17
    			-- Declared in Windows as SPI_SETSCREENSAVEACTIVE

    	spi_setscreensaverrunning: INTEGER_32 is 97
    			-- Declared in Windows as SPI_SETSCREENSAVERRUNNING

    	spi_setscreensavetimeout: INTEGER_32 is 15
    			-- Declared in Windows as SPI_SETSCREENSAVETIMEOUT

    	spi_setserialkeys: INTEGER_32 is 63
    			-- Declared in Windows as SPI_SETSERIALKEYS

    	spi_setshowsounds: INTEGER_32 is 57
    			-- Declared in Windows as SPI_SETSHOWSOUNDS

    	spi_setsnaptodefbutton: INTEGER_32 is 96
    			-- Declared in Windows as SPI_SETSNAPTODEFBUTTON

    	spi_setsoundsentry: INTEGER_32 is 65
    			-- Declared in Windows as SPI_SETSOUNDSENTRY

    	spi_setstickykeys: INTEGER_32 is 59
    			-- Declared in Windows as SPI_SETSTICKYKEYS

    	spi_settogglekeys: INTEGER_32 is 53
    			-- Declared in Windows as SPI_SETTOGGLEKEYS

    	spi_setworkarea: INTEGER_32 is 47
    			-- Declared in Windows as SPI_SETWORKAREA

    feature -- SystemParameter (Windows 98, Windows 2000 and above)

    	spi_getactivewindowtracking: INTEGER_32 is 4096
    			-- Declared in Windows as SPI_GETACTIVEWINDOWTRACKING

    	spi_getactivewndtrktimeout: INTEGER_32 is 8194
    			-- Declared in Windows as SPI_GETACTIVEWNDTRKTIMEOUT

    	spi_getactivewndtrkzorder: INTEGER_32 is 4108
    			-- Declared in Windows as SPI_GETACTIVEWNDTRKZORDER

    	spi_getcaretwidth: INTEGER_32 is 8198
    			-- Declared in Windows as SPI_GETCARETWIDTH

    	spi_getcomboboxanimation: INTEGER_32 is 4100
    			-- Declared in Windows as SPI_GETCOMBOBOXANIMATION

    	spi_getcursorshadow: INTEGER_32 is 4122
    			-- Declared in Windows as SPI_GETCURSORSHADOW

    	spi_getdeskwallpaper: INTEGER_32 is 115
    			-- Declared in Windows as SPI_GETDESKWALLPAPER

    	spi_getforegroundflashcount: INTEGER_32 is 8196
    			-- Declared in Windows as SPI_GETFOREGROUNDFLASHCOUNT

    	spi_getforegroundlocktimeout: INTEGER_32 is 8192
    			-- Declared in Windows as SPI_GETFOREGROUNDLOCKTIMEOUT

    	spi_getgradientcaptions: INTEGER_32 is 4104
    			-- Declared in Windows as SPI_GETGRADIENTCAPTIONS

    	spi_gethottracking: INTEGER_32 is 4110
    			-- Declared in Windows as SPI_GETHOTTRACKING

    	spi_getkeyboardcues: INTEGER_32 is 4106
    			-- Declared in Windows as SPI_GETKEYBOARDCUES

    	spi_getlistboxsmoothscrolling: INTEGER_32 is 4102
    			-- Declared in Windows as SPI_GETLISTBOXSMOOTHSCROLLING

    	spi_getmenuanimation: INTEGER_32 is 4098
    			-- Declared in Windows as SPI_GETMENUANIMATION

    	spi_getmenufade: INTEGER_32 is 4114
    			-- Declared in Windows as SPI_GETMENUFADE

    	spi_getmenuunderlines: INTEGER_32 is 4106
    			-- Declared in Windows as SPI_GETMENUUNDERLINES

    	spi_getmousespeed: INTEGER_32 is 112
    			-- Declared in Windows as SPI_GETMOUSESPEED

    	spi_getscreensaverrunning: INTEGER_32 is 114
    			-- Declared in Windows as SPI_GETSCREENSAVERRUNNING

    	spi_getselectionfade: INTEGER_32 is 4116
    			-- Declared in Windows as SPI_GETSELECTIONFADE

    	spi_gettooltipanimation: INTEGER_32 is 4118
    			-- Declared in Windows as SPI_GETTOOLTIPANIMATION

    	spi_gettooltipfade: INTEGER_32 is 4120
    			-- Declared in Windows as SPI_GETTOOLTIPFADE

    	spi_getuieffects: INTEGER_32 is 4158
    			-- Declared in Windows as SPI_GETUIEFFECTS

    	spi_setactivewindowtracking: INTEGER_32 is 4097
    			-- Declared in Windows as SPI_SETACTIVEWINDOWTRACKING

    	spi_setactivewndtrktimeout: INTEGER_32 is 8195
    			-- Declared in Windows as SPI_SETACTIVEWNDTRKTIMEOUT

    	spi_setactivewndtrkzorder: INTEGER_32 is 4109
    			-- Declared in Windows as SPI_SETACTIVEWNDTRKZORDER

    	spi_setcaretwidth: INTEGER_32 is 8199
    			-- Declared in Windows as SPI_SETCARETWIDTH

    	spi_setcomboboxanimation: INTEGER_32 is 4101
    			-- Declared in Windows as SPI_SETCOMBOBOXANIMATION

    	spi_setcursorshadow: INTEGER_32 is 4123
    			-- Declared in Windows as SPI_SETCURSORSHADOW

    	spi_setforegroundflashcount: INTEGER_32 is 8197
    			-- Declared in Windows as SPI_SETFOREGROUNDFLASHCOUNT

    	spi_setforegroundlocktimeout: INTEGER_32 is 8193
    			-- Declared in Windows as SPI_SETFOREGROUNDLOCKTIMEOUT

    	spi_setgradientcaptions: INTEGER_32 is 4105
    			-- Declared in Windows as SPI_SETGRADIENTCAPTIONS

    	spi_sethottracking: INTEGER_32 is 4111
    			-- Declared in Windows as SPI_SETHOTTRACKING

    	spi_setkeyboardcues: INTEGER_32 is 4107
    			-- Declared in Windows as SPI_SETKEYBOARDCUES

    	spi_setlistboxsmoothscrolling: INTEGER_32 is 4103
    			-- Declared in Windows as SPI_SETLISTBOXSMOOTHSCROLLING

    	spi_setmenuanimation: INTEGER_32 is 4099
    			-- Declared in Windows as SPI_SETMENUANIMATION

    	spi_setmenufade: INTEGER_32 is 4115
    			-- Declared in Windows as SPI_SETMENUFADE

    	spi_setmenuunderlines: INTEGER_32 is 4107
    			-- Declared in Windows as SPI_SETMENUUNDERLINES

    	spi_setmousespeed: INTEGER_32 is 113
    			-- Declared in Windows as SPI_SETMOUSESPEED

    	spi_setselectionfade: INTEGER_32 is 4117
    			-- Declared in Windows as SPI_SETSELECTIONFADE

    	spi_settooltipanimation: INTEGER_32 is 4119
    			-- Declared in Windows as SPI_SETTOOLTIPANIMATION

    	spi_settooltipfade: INTEGER_32 is 4121
    			-- Declared in Windows as SPI_SETTOOLTIPFADE

    	spi_setuieffects: INTEGER_32 is 4159
    			-- Declared in Windows as SPI_SETUIEFFECTS

    feature -- SystemParameter (Windows NT 4.0, Windows 98, Windows 2000 and above)

    	spi_getmenushowdelay: INTEGER_32 is 106
    			-- Declared in Windows as SPI_GETMENUSHOWDELAY

    	spi_getmousehoverheight: INTEGER_32 is 100
    			-- Declared in Windows as SPI_GETMOUSEHOVERHEIGHT

    	spi_getmousehovertime: INTEGER_32 is 102
    			-- Declared in Windows as SPI_GETMOUSEHOVERTIME

    	spi_getmousehoverwidth: INTEGER_32 is 98
    			-- Declared in Windows as SPI_GETMOUSEHOVERWIDTH

    	spi_getshowimeui: INTEGER_32 is 110
    			-- Declared in Windows as SPI_GETSHOWIMEUI

    	spi_getwheelscrolllines: INTEGER_32 is 104
    			-- Declared in Windows as SPI_GETWHEELSCROLLLINES

    	spi_setmenushowdelay: INTEGER_32 is 107
    			-- Declared in Windows as SPI_SETMENUSHOWDELAY

    	spi_setmousehoverheight: INTEGER_32 is 101
    			-- Declared in Windows as SPI_SETMOUSEHOVERHEIGHT

    	spi_setmousehovertime: INTEGER_32 is 103
    			-- Declared in Windows as SPI_SETMOUSEHOVERTIME

    	spi_setmousehoverwidth: INTEGER_32 is 99
    			-- Declared in Windows as SPI_SETMOUSEHOVERWIDTH

    	spi_setshowimeui: INTEGER_32 is 111
    			-- Declared in Windows as SPI_SETSHOWIMEUI

    	spi_setwheelscrolllines: INTEGER_32 is 105
    			-- Declared in Windows as SPI_SETWHEELSCROLLLINES

    feature -- SystemParameter (Windows XP and above)

    	spi_getdropshadow: INTEGER_32 is 4132
    			-- Declared in Windows as SPI_GETDROPSHADOW

    	spi_getflatmenu: INTEGER_32 is 4130
    			-- Declared in Windows as SPI_GETFLATMENU

    	spi_getfocusborderheight: INTEGER_32 is 8208
    			-- Declared in Windows as SPI_GETFOCUSBORDERHEIGHT

    	spi_getfocusborderwidth: INTEGER_32 is 8206
    			-- Declared in Windows as SPI_GETFOCUSBORDERWIDTH

    	spi_getfontsmoothingcontrast: INTEGER_32 is 8204
    			-- Declared in Windows as SPI_GETFONTSMOOTHINGCONTRAST

    	spi_getfontsmoothingtype: INTEGER_32 is 8202
    			-- Declared in Windows as SPI_GETFONTSMOOTHINGTYPE

    	spi_getmouseclicklock: INTEGER_32 is 4126
    			-- Declared in Windows as SPI_GETMOUSECLICKLOCK

    	spi_getmouseclicklocktime: INTEGER_32 is 8200
    			-- Declared in Windows as SPI_GETMOUSECLICKLOCKTIME

    	spi_getmousesonar: INTEGER_32 is 4124
    			-- Declared in Windows as SPI_GETMOUSESONAR

    	spi_getmousevanish: INTEGER_32 is 4128
    			-- Declared in Windows as SPI_GETMOUSEVANISH

    	spi_setdropshadow: INTEGER_32 is 4133
    			-- Declared in Windows as SPI_SETDROPSHADOW

    	spi_setflatmenu: INTEGER_32 is 4131
    			-- Declared in Windows as SPI_SETFLATMENU

    	spi_setfocusborderheight: INTEGER_32 is 8209
    			-- Declared in Windows as SPI_SETFOCUSBORDERHEIGHT

    	spi_setfocusborderwidth: INTEGER_32 is 8207
    			-- Declared in Windows as SPI_SETFOCUSBORDERWIDTH

    	spi_setfontsmoothingcontrast: INTEGER_32 is 8205
    			-- Declared in Windows as SPI_SETFONTSMOOTHINGCONTRAST

    	spi_setfontsmoothingtype: INTEGER_32 is 8203
    			-- Declared in Windows as SPI_SETFONTSMOOTHINGTYPE

    	spi_setmouseclicklock: INTEGER_32 is 4127
    			-- Declared in Windows as SPI_SETMOUSECLICKLOCK

    	spi_setmouseclicklocktime: INTEGER_32 is 8201
    			-- Declared in Windows as SPI_SETMOUSECLICKLOCKTIME

    	spi_setmousesonar: INTEGER_32 is 4125
    			-- Declared in Windows as SPI_SETMOUSESONAR

    	spi_setmousevanish: INTEGER_32 is 4129
    			-- Declared in Windows as SPI_SETMOUSEVANISH

    feature -- SystemParameterInfo Flags (all Windows)

    	spif_sendchange: INTEGER_32 is 2
    			-- Declared in Windows as SPIF_SENDCHANGE

    	spif_sendwininichange: INTEGER_32 is 2
    			-- Declared in Windows as SPIF_SENDWININICHANGE

    	spif_updateinifile: INTEGER_32 is 1
    			-- Declared in Windows as SPIF_UPDATEINIFILE

    invariant
    		-- from ANY
    	reflexive_equality: standard_is_equal (Current)
    	reflexive_conformance: conforms_to (Current)

    indexing
    	copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
    	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
    	source: "[
    		Eiffel Software
    		356 Storke Road, Goleta, CA 93117 USA
    		Telephone 805-685-1006, Fax 805-685-6869
    		Website http://www.eiffel.com
    		Customer support http://support.eiffel.com
    	]"

    end -- class WEL_SPI_CONSTANTS