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