aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* Use 'drop 1' rather than tail, skip equality check.Spencer Janssen2007-05-081-4/+5
| | | | darcs-hash:20070508150943-a5988-84c0ebc06bc745ecdacae2ced6863b63a9585756.gz
* Redundant parensSpencer Janssen2007-05-081-1/+1
| | | | darcs-hash:20070508150412-a5988-abf7b3c1e96051cb0cb964f6a94239ac76f83a4e.gz
* StackSet.view: ignore invalid indicesSpencer Janssen2007-05-081-3/+3
| | | | darcs-hash:20070508143951-a5988-5b1aea6415436bc5cee632a60efc42300cfbf1e9.gz
* Change the swap function so its Haskell 98, by using list-comps instead of ↵Neil Mitchell http://www.cs.york.ac.uk/~ndm/2007-05-081-7/+4
| | | | | | pattern-guards. darcs-hash:20070508123158-fbc8d-1592375172ef513d85c5e0095c689abf9ac5fc9b.gz
* Arbitrary instance for StackSet must set random focus on each workspaceDon Stewart2007-05-081-7/+33
| | | | | | | | | | | | | | | | | | When focus was separated from the stack order on each workspace, we forgot to update the Arbitrary instance to set random focus. As spotted by David R, this then invalidates 4 of our QC properties. In particular, the property involving where focus goes after a random transient (annoying behaviour) appeared to be correct, but wasn't, due to inadequate coverage. This patch sets focus to a random window on each workspace. As a result, we now catch the focus/raise/delete issue people have been complaining about. Lesson: make sure your QuickCheck generators are doing what you think they are. darcs-hash:20070508051126-9c5c1-55a0597e6838b35f12b3d348e85360cda6c237ca.gz
* make quickcheck tests friendlier to read.David Roundy2007-05-052-2/+7
| | | | darcs-hash:20070505175415-72aca-2129b8432f6f2ddb9d1498b0503b86c401020194.gz
* make Properties.hs exit with failure on test failureJason Creighton2007-05-051-7/+8
| | | | darcs-hash:20070505174357-b9aa7-2dc94a5ade7740c859831865d49e2da28d2ba0ac.gz
* since we just ignore type errors, no need to derive ShowDon Stewart2007-05-042-2/+2
| | | | darcs-hash:20070504094143-9c5c1-44d5edcd4b261a2d93b054f48e7818b0c9e58db2.gz
* Constrain layout messages to be members of a Message classDon Stewart2007-05-043-32/+54
| | | | | | | | | | | | | | | | | | Using Typeables as the only constraint on layout messages is a bit scary, as a user can send arbitrary values to layoutMsg, whether they make sense or not: there's basically no type feedback on the values you supply to layoutMsg. Folloing Simon Marlow's dynamically extensible exceptions paper, we use an existential type, and a Message type class, to constrain valid arguments to layoutMsg to be valid members of Message. That is, a user writes some data type for messages their layout algorithm accepts: data MyLayoutEvent darcs-hash:20070504081649-9c5c1-954b406e8c21c2ca4428960e4fc1f9ffb17fb296.gz
* Handle empty layout listsSpencer Janssen2007-05-043-10/+13
| | | | darcs-hash:20070504045644-a5988-68a6d650bacab936f893b96bf866696da3f73436.gz
* refactoring, style, comments on new layout codeDon Stewart2007-05-042-40/+61
| | | | darcs-hash:20070504023618-9c5c1-4b5a4021212b08fedff7f8ec3d8b4234431aada3.gz
* use anyKey constant instead of magic numberJason Creighton2007-05-041-1/+1
| | | | darcs-hash:20070504015043-b9aa7-a9e8a52b54a21ba00fba0b13a3ec1cc150b1aae5.gz
* added mirrorLayout to mirror arbitrary layoutsJason Creighton2007-05-042-18/+11
| | | | darcs-hash:20070504014653-b9aa7-1709cb0b718a7a058021c76fb95f9654c43f54b1.gz
* Fix layout switching orderSpencer Janssen2007-05-041-2/+1
| | | | darcs-hash:20070503235632-a5988-98863d7067876591bd9da2b33d062bfe2c5b42fd.gz
* More Config.hs bugsSpencer Janssen2007-05-041-3/+3
| | | | darcs-hash:20070503234607-a5988-3f9f46071263093707fdaba677899edc1a85edc1.gz
* Revert accidental change to Config.hsSpencer Janssen2007-05-041-1/+1
| | | | darcs-hash:20070503233148-a5988-628ec9194db704513dd804fc7c72bb478689526e.gz
* Add -fglasgow-exts for pattern guards. Properties.hs doesn't complain anymoreSpencer Janssen2007-05-031-0/+2
| | | | darcs-hash:20070503214221-a5988-c596e80afe12a486f08901e853071d42dd2d9123.gz
* Avoid the unsafe pattern match, in case Config.hs has no layoutsSpencer Janssen2007-05-031-1/+1
| | | | darcs-hash:20070503214007-a5988-f427a9747f76859219abf029c2f550e7dbec258f.gz
* add support for extensible layouts.David Roundy2007-05-035-44/+43
| | | | darcs-hash:20070503144750-72aca-f44bca4573837e12fc1f89333b55e04abd52787c.gz
* comments. and stop tracing events to stderrDon Stewart2007-05-032-6/+15
| | | | darcs-hash:20070503075821-9c5c1-d5bc043872adb9f95c23e0fde87ae11f16108785.gz
* -Wall policeDon Stewart2007-05-031-0/+2
| | | | darcs-hash:20070503074937-9c5c1-769ff9e521726032973c5712940c8c671746153e.gz
* elaborate documentation in Config.hsDon Stewart2007-05-031-15/+38
| | | | darcs-hash:20070503074843-9c5c1-52a96686d7d6a1e260790db263c03799116b1202.gz
* Use updated refreshKeyboardMapping. Requires latest X11-extrasSpencer Janssen2007-05-031-4/+1
| | | | darcs-hash:20070503032040-a5988-f30dac176a6db3139e07c8b29bbc31d27c67d410.gz
* Add 'mod-n': refreshes current layoutSpencer Janssen2007-05-031-0/+3
| | | | darcs-hash:20070503002252-a5988-751a9563c3a2574a423367cdcba11e3e661f9d92.gz
* Fix tests after StackSet changesSpencer Janssen2007-05-021-2/+3
| | | | darcs-hash:20070502201622-a5988-ac80f011c59276c52314ea128c07a54487c9bee9.gz
* First steps to adding floating layerSpencer Janssen2007-05-022-15/+18
| | | | darcs-hash:20070502195917-a5988-6831029fae89604c06ae962aaffdf81bfdad3297.gz
* update motivational text using xmonad.orgDon Stewart2007-05-021-13/+33
| | | | darcs-hash:20070502061859-9c5c1-e6e6c50c174610f5ff7a0438f849fde86ee23739.gz
* Sort dependencies in installation orderSpencer Janssen2007-05-011-1/+1
| | | | darcs-hash:20070501204249-a5988-c692509d697dd8fa3c47b478e9cc6626c6a57d7a.gz
* Recommend X11-extras 0.1Spencer Janssen2007-05-011-1/+1
| | | | darcs-hash:20070501204121-a5988-788f9ff940b4d9de34801588c1420b60d038d97d.gz
* elaborate description in .cabalDon Stewart2007-05-011-1/+11
| | | | darcs-hash:20070501035414-9c5c1-cd566efa85f7ea09d5e252fabe485a46f5bd3eb2.gz
* use -fasm by default. Much fasterDon Stewart2007-05-011-1/+1
| | | | darcs-hash:20070501031220-9c5c1-9354f63ca805ac82d5edb814eb56f46e73afa8d4.gz
* check we never generate invalid stack setsDon Stewart2007-04-301-1/+18
| | | | darcs-hash:20070430065946-9c5c1-a63c2fa904ff1b915da40dfef6289ee935991992.gz
* Make border width configurableSpencer Janssen2007-04-303-1/+7
| | | | darcs-hash:20070430163515-a5988-9dea5188c30830fd8b3135f7cb5beffd7b90dcb9.gz
* Add Config.hs-boot, remove defaultLayoutDesc from XConfSpencer Janssen2007-04-305-8/+9
| | | | darcs-hash:20070430162647-a5988-70420c2db283eb1585c96d977e5ac5ca3d0d1532.gz
* Comment onlySpencer Janssen2007-04-301-12/+12
| | | | darcs-hash:20070430161635-a5988-ee0abcdeff2aa92df2d593de488797015c0fc7e7.gz
* Comment onlySpencer Janssen2007-04-301-1/+1
| | | | darcs-hash:20070430161511-a5988-2196c16d0c2d0d5207b68a6b27d66b11b4fe0014.gz
* view n . shift n . view i . shift i) xDon Stewart2007-04-301-4/+8
| | | | darcs-hash:20070430062901-9c5c1-dd591516cb05072be929aa68d42be3b27476bd5a.gz
* add rotate all and view idempotency testsDon Stewart2007-04-301-3/+19
| | | | darcs-hash:20070430055751-9c5c1-da5da09a5c2ff160fb7b243794d5fd3d7f954cb1.gz
* push is idempotentDon Stewart2007-04-301-1/+3
| | | | darcs-hash:20070430054345-9c5c1-98af87adafacc002e4df6e22ea42ac97f40b4399.gz
* add two properties relating to empty window managersDon Stewart2007-04-301-1/+13
| | | | darcs-hash:20070430051016-9c5c1-ec4c5d4ed5353026b45a769570d53cf299b31ec2.gz
* new QC property: opening a window only affects the current screenDon Stewart2007-04-301-0/+8
| | | | darcs-hash:20070430050133-9c5c1-32823e4a47119867b1425a8bbe81af44dc8b7f1e.gz
* Add XConf for values that don't change.Spencer Janssen2007-04-303-25/+35
| | | | darcs-hash:20070430054715-a5988-a74f5e2868f47443a69b0cd821fa690e43a4a7e1.gz
* Control.Arrow is suspicious, add an explicit importSpencer Janssen2007-04-301-1/+1
| | | | darcs-hash:20070430053623-a5988-b7fd0de8376993fdab9ce99bf3c525105b597b33.gz
* configurable border colorsJason Creighton2007-04-304-7/+17
| | | | | | | | This also fixes a bug where xmonad was assuming a 24-bit display, and just using, eg, 0xff0000 as an index into a colormap without querying the X server to determine the proper pixel value for "red". darcs-hash:20070430043859-b9aa7-9467ff583ec95144e5baa088e4b1536a725e7bc6.gz
* a bit more precise about building non-empty stacksets for one testDon Stewart2007-04-301-1/+1
| | | | darcs-hash:20070430035729-9c5c1-90b4f4b1e0db1884704e3a1d8fc246734220b603.gz
* remove redundant call to 'delete' in 'shift'Don Stewart2007-04-301-1/+1
| | | | darcs-hash:20070430031151-9c5c1-7d66b13bc36af0e33af655f33ef287c8d4a379e7.gz
* clean 'delete' a littleDon Stewart2007-04-301-7/+5
| | | | darcs-hash:20070430025319-9c5c1-e9f7308996d1400c1abd42d2d5f6ef30b8f01c06.gz
* shrink 'swap'Don Stewart2007-04-301-8/+5
| | | | darcs-hash:20070430024813-9c5c1-28d697989294c4c5ce03e44553b75a8d7bc6c03e.gz
* shrink 'rotate' a littleDon Stewart2007-04-301-4/+2
| | | | darcs-hash:20070430024525-9c5c1-fd54666b06e2d896e023e7ae1c8f2b32fdb7a815.gz
* move size into Properties.hsDon Stewart2007-04-302-4/+6
| | | | darcs-hash:20070430021758-9c5c1-f1ae3d5c2639b9c3ee91ccdebaefe0cf4a2c6df5.gz