xmonad - mirror of http://code.haskell.org/xmonad

	Commit message (Collapse)	Author	Files	Lines
2007-04-19	Arbitrary Word64 for running tests on amd64	Alec Berryman	1	-0/+8
	Copied from Arbitrary Word8; I don't understand the coarbitrary definition and the Word64 one may be erroneous, but Properties.hs now compiles and passes all tests. darcs-hash:20070419104652-39448-765063393aada90785e3160dcfb6c5cc43fb34f1.gz
2007-04-19	add 8 new QC tests, including tests of the layout algorithm	Don Stewart	1	-2/+125
	darcs-hash:20070419040833-9c5c1-9d8965bf22113a8aec47244eab7c769affb75951.gz
2007-04-19	Parameterise StackSet by two index types, rather than breaking abstraction	Don Stewart	1	-3/+3
	darcs-hash:20070419012705-9c5c1-3aa97e02123af08c3f4500c9e9c3bb7ab4121652.gz
2007-04-19	2 more properties for promote.	Don Stewart	1	-2/+17
	darcs-hash:20070419001201-9c5c1-7ab345797094d164e47185bebefe05b1add6e120.gz
2007-04-19	tweak loc count to match count_lines script	Don Stewart	1	-1/+2
	darcs-hash:20070418224725-9c5c1-e885b1392c8f6aaa1ccd5c5cbcdc9c41b29b6b6a.gz
2007-04-19	Promote now swaps focused window with master window	Don Stewart	1	-1/+9
	This means other windows are unaffected. The change from the previous cycling behaviour was felt necessary, since cycling isn't a terribly useful operation. Some properties that hold: focus is unchanged by promotion promote is idempotent (promoting twice does nothing) the focused and master window will swap their positions in the stack darcs-hash:20070418224236-9c5c1-4539f9f397e181f91dc9743e3ffac4b5796c0fac.gz
2007-04-18	Update propaganda.	Spencer Janssen	1	-1/+1
	darcs-hash:20070418014029-a5988-a7a422401fe062c25ab74764bdf2a5e44befb413.gz
2007-04-18	define test to ensure LOC doesn't jump above 400.	David Roundy	1	-0/+15
	darcs-hash:20070418004533-72aca-d701954d2a24ceca7791e92c12a35c299b8272ff.gz
2007-04-11	and the tests still run	Don Stewart	1	-5/+6
	darcs-hash:20070411081500-9c5c1-de5c90255b488c617bee222ece8e4ff059a8a95a.gz
2007-04-11	fromList/toList have # of screens + another QC property	Jason Creighton	1	-1/+9
	darcs-hash:20070411044215-b9aa7-e66ef93fac9102201bfd145ebb26c38bbecd25de.gz
2007-04-10	moved screen <-> workspace mapping from XMonad to StackSet	Jason Creighton	1	-7/+19
	darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4.gz
2007-03-28	added a quickcheck property	daniel	1	-0/+7
	darcs-hash:20070328025337-c98ca-5ce390ce8d1d5f5a35fe1ba851cf09fc96ca7183.gz
2007-03-09	more QC properties on StackSets	Don Stewart	1	-7/+42
	darcs-hash:20070309054042-9c5c1-2ae77f352ab1e5c822e8144c4685c24d4d12059d.gz
2007-03-09	simpler type (no need to cache size, we could grow new stacks on demand now)	Don Stewart	1	-4/+2
	darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010.gz
2007-03-09	simplify StackSet api even further (-15 loc)	Don Stewart	1	-3/+1
	darcs-hash:20070309041707-9c5c1-3c9ef62c25f49b9025f137f73c8d25438a640ff4.gz
2007-03-09	smaller api, less tests	Don Stewart	1	-37/+5
	darcs-hash:20070309035635-9c5c1-98fef33dead5a1f092b4d21120a45da06ffe164e.gz
2007-03-08	forgot to add Properties.hs	Don Stewart	1	-0/+166
	darcs-hash:20070308120521-9c5c1-984458c813a58b04c648b05f314165541c74d2b7.gz