10 Commits

Author	SHA1	Message	Date
Don Stewart	f3f83af393	Promote now swaps focused window with master window ... 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	2007-04-18 22:42:36 +00:00
Don Stewart	4b626ff729	and the tests still run	2007-04-11 08:15:00 +00:00
Jason Creighton	c6dcc9d869	fromList/toList have # of screens + another QC property	2007-04-11 04:42:15 +00:00
Jason Creighton	0c95f0c143	moved screen <-> workspace mapping from XMonad to StackSet	2007-04-10 06:27:31 +00:00
daniel	97638a648c	added a quickcheck property	2007-03-28 02:53:37 +00:00
Don Stewart	2a3284a31a	more QC properties on StackSets	2007-03-09 05:40:42 +00:00
Don Stewart	0ea4260a4c	simpler type (no need to cache size, we *could* grow new stacks on demand now)	2007-03-09 04:36:38 +00:00
Don Stewart	7e2caa4707	simplify StackSet api even further (-15 loc)	2007-03-09 04:17:07 +00:00
Don Stewart	f10a61fad1	smaller api, less tests	2007-03-09 03:56:35 +00:00
Don Stewart	27c2e1259d	forgot to add Properties.hs	2007-03-08 12:05:21 +00:00