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