aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2008-09-11add W.shiftMaster, fix float/tile-reordering bugDevin Mullins1-0/+17
darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091.gz
2008-05-12add currentTag convenience functionDevin Mullins1-0/+4
darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
2008-03-23more testsDon Stewart1-1/+13
darcs-hash:20080323003436-cba2c-f896cff759d6413571b6c32f2a78f64e6399feea.gz
2008-03-23some tests for the size increment handling in Operations.hsDon Stewart1-0/+18
darcs-hash:20080322234952-cba2c-5bc18928813ea1674988a6857a15eedde696bf7d.gz
2008-03-22more properties for splitting horizontally and verticallyDon Stewart1-0/+46
darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
2008-03-22test message handling of Full layoutDon Stewart1-2/+10
darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024.gz
2008-03-22QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart1-8/+71
darcs-hash:20080322041801-cba2c-7b768f19071ebe953f51577d3111d53b6afb3bb4.gz
2008-03-22add QuickCheck property for Full: it produces one window, it is fullscreen, ↵Don Stewart1-1/+14
and it is the current window darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6.gz
2008-03-22QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart1-0/+13
darcs-hash:20080322001229-cba2c-b9d9ced9a89cde9f5399f25355b6d43514a5bdc0.gz
2008-03-22reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart1-5/+3
darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
2008-03-10add property for ensureTags behaviour on hidden workspacesDon Stewart1-0/+18
darcs-hash:20080310182557-cba2c-9e539e452dbcb111fc47098dd762811c8334d4d8.gz
2008-03-07more general properties for view, greedyViewDon Stewart1-2/+2
darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
2008-03-07bit more code coverageDon Stewart1-0/+5
darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
2008-02-27more tests. slightly better test coverageDon Stewart1-5/+7
darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe.gz
2008-02-27test geometry settingDon Stewart1-0/+7
darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
2008-02-25incorrect invariant test for greedyViewDon Stewart1-1/+9
darcs-hash:20080225180350-cba2c-95b57af5f105496a17148c49578ae83d1e0f0a35.gz
2008-01-19Roll testing into the main executable, use Cabal to build the testsSpencer Janssen1-3/+3
darcs-hash:20080119091215-a5988-8f5f48e8c40a0f39abdf6ffe4d4dc938ab8c7ef1.gz
2007-11-01HierarchifySpencer Janssen1-2/+2
darcs-hash:20071101180846-a5988-25ba1c9ce37a35c1533e4075cc9494c6f7dd5ade.gz
2007-11-01This is a massive update, here's what has changed:Spencer Janssen1-1/+0
* Read is no longer a superclass of Layout * All of the core layouts have moved to the new Layouts.hs module * Select has been replaced by the new statically typed Choose combinator, which is heavily based on David Roundy's NewSelect proposal for XMonadContrib. Consequently: - Rather than a list of choosable layouts, we use the ||| combinator to combine several layouts into a single switchable layout - We've lost the capability to JumpToLayout and PrevLayout. Both can be added with some effort darcs-hash:20071101064318-a5988-c07c434c7a1108078d6123a4b36040ed6597772b.gz
2007-10-22Replace 'findIndex' with 'findTag', which more accurately describes what the ↵Brent Yorgey1-5/+5
function does. I realize this is a big change, but the name 'findIndex' was confusing for me, since I expected it to return some sort of integer. What it actually does, of course, is return a workspace tag, which might be more general than an index. Of course, this change breaks several contrib modules; I'll submit a patch to make the change there as well. darcs-hash:20071022204105-bd4d7-9f5d5b8ce00c61b4830fde329f528b2d79af2fa6.gz
2007-10-15Whitespace fixes for Properties.hsSpencer Janssen1-11/+11
darcs-hash:20071015022757-a5988-8e5172ea769e1c99abf1cc7f7630f3aa9dd68856.gz
2007-10-06add mapWorkspace testsDevin Mullins1-0/+8
(just completely duplicated the two mapLayout tests :) darcs-hash:20071006073129-78224-d1303612fd8e2f9ede740831b031a88914ee833a.gz
2007-10-06comment out type error'd propertyDon Stewart1-0/+2
darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
2007-10-06add floating propertyDon Stewart1-0/+6
darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
2007-10-05Add mapLayoutSpencer Janssen1-0/+7
darcs-hash:20071004234537-a5988-504015d5c938a232d1355c0f3c602cf366c20aea.gz
2007-10-04extract Properties module for re-use by contrib testsDevin Mullins1-0/+1
I want to reuse Properties' Arbitrary instance (as well as the T and NonNegative types) in an upcoming set of SwapWorkspaces QC props. `module Main where import Main` doesn't work too well. :) If this patch is accepted, the darcs 'test' pref should be modified to "-itests tests/Main.hs". darcs-hash:20071004075852-78224-6f84d89566894e33266a7c3b4d0cde5be7ec2918.gz
2007-10-01Add StackSet.allWindowsSpencer Janssen1-0/+3
darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
2007-09-30deeper test for differentiate. back to 100% coverageDon Stewart1-1/+1
darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
2007-09-30properties for tag renamingDon Stewart1-0/+21
darcs-hash:20070930074641-cba2c-f0ba43bf6d62f372dfee8dfdadf4fe66677e0510.gz
2007-09-30test lookupWorkspace more deeplyDon Stewart1-0/+10
darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea.gz
2007-09-29100% coverage of alternative branchesDon Stewart1-2/+9
darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911.gz
2007-09-29add some more properties for failure casesDon Stewart1-0/+29
darcs-hash:20070928233230-cba2c-291d995afedb1c3d1cf1ac4f8e69170b24029551.gz
2007-09-20add (unused) Layout to StackSet.David Roundy1-14/+16
darcs-hash:20070920212843-72aca-4c73a99b58ebd9d1d179c5e627cbf4823493f4ab.gz
2007-09-28add prop for 'differentiate'Don Stewart1-0/+5
darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
2007-09-28new QC properties: floating a window is reversible, screens includes current ↵Don Stewart1-0/+18
screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
2007-09-27Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart1-2/+19
darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
2007-09-10Fix float behaviour, add shiftWin.Karsten Schoelzel1-0/+23
First, if float is called with window which is on a hidden workspace, then the window will remain on that hidden workspace. Now the focus should change more as expected: float w darcs-hash:20070910090329-eb3a1-ae150bf783b36fb4811e92d81b4917066c8733b7.gz
2007-08-15Add greedyView, make it the default action for mod-werSpencer Janssen1-0/+36
darcs-hash:20070815025504-a5988-00ff316a056c48cc07c5e90925702d2ac09ae666.gz
2007-07-28QuickCheck filter preserves orderKarsten Schoelzel1-0/+12
darcs-hash:20070728184534-eb3a1-68bbf44ab26db69a4aa75fb97cb516ebf6c963bb.gz
2007-06-29Move screen details into StackSetSpencer Janssen1-26/+31
darcs-hash:20070629213917-a5988-3ad31d8f028efcec41c9c4805c01c2d42c0009b2.gz
2007-06-26add 2 properties to state where focus goes on delete of focused windowDon Stewart1-1/+24
darcs-hash:20070626040907-9c5c1-397ec2ac01fda2e3f307605bf0f765bbc5724350.gz
2007-06-14make workspace tag not need to be a Num.David Roundy1-42/+29
This change also removes the barely used 'size' field, and replaces it with a tagMember predicate. The idea is to move towards the ability to make the workspace tag be a String, which by default might be "1".."9", but could also be customized to be something meaningful to the user. darcs-hash:20070614140709-72aca-dbc1ce07bf964e4cff69deef95b453a0051ef782.gz
2007-06-12make focus, up and down complete functions.David Roundy1-13/+9
This is a rerun of my change to make (Stack a) never be empty. Gives us more type-safety. darcs-hash:20070612150555-72aca-5f6e43aa33979c71679a73b44d93f9e2b8f9d2a8.gz
2007-06-11Add StackSet.filterSpencer Janssen1-1/+1
darcs-hash:20070611165154-a5988-8c46751ffd4bd03249656e3b467b8e7569c48b09.gz
2007-05-26HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart1-46/+46
The use of arrow keys for swapLeft/Right clash with firefox's back button. Use the more intuitive mod-shift-jk for this. (It's a movement operation, after all). This clashes with IncMaster, so we use mod+comma and mod+period for these (i.e. the keys mod < and mod > , to move windows to and from the master area). While we're here, replace the use of the terms 'left' and 'right' for navigation, in comments and identifiers, with 'up' and 'down' instead. Hence mod-j darcs-hash:20070526111453-9c5c1-3242145ee5b51eb070a7dc3663f0d6cc01671d5c.gz
2007-05-25Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser1-0/+3
darcs-hash:20070525163159-64353-15e04204eb27aebe6c98a58c8e26b5c5d3083348.gz
2007-05-25Quickcheck property to check that delete / focus behaviourRob1-0/+4
See patch "Deleting a window should not affect focus". Checks this property. darcs-hash:20070525035432-64d90-e1b1684a128a8336c14be3479b088988a5ddbd35.gz
2007-05-25Fix bug in noDuplicate invariantRob1-3/+3
ws used by noDuplicates is actually a list of list of elements which will pretty rarely raise any flags even if the StackSet actually does contain duplicates. This patch concatenates ws to ensure the quickcheck property tests accurately. darcs-hash:20070525060842-64d90-efb031dd261cee4fdda597447036631bcce708fa.gz
2007-05-22add swapLeft and swapRightbobstopper1-23/+46
darcs-hash:20070522050008-ee4f8-6073519fac239b25e5e265ce3995ee75683fcb81.gz
2007-05-21Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart1-70/+53
darcs-hash:20070521055253-9c5c1-4cc51fadb10609340f798aece25097afeae92dbb.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 06:06:00 +0000