aboutsummaryrefslogtreecommitdiffstats
path: root/XMonad.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2007-05-28support per-screen gap settings. you can have different gaps on individual ↵Don Stewart1-1/+1
screens now darcs-hash:20070528031501-9c5c1-beaadbacb5efc1ce5998aba41fbb3b2c68cdf0d1.gz
2007-05-28Use (Int,Int,Int,Int) for arbitrary gaps on any side of the screenDon Stewart1-14/+11
darcs-hash:20070528025135-9c5c1-3c0f63ac557da57cd268cd0129b9ce90692631e4.gz
2007-05-27mod-b, toggle on or off the status bar gapDon Stewart1-0/+1
darcs-hash:20070527125928-9c5c1-a16246810db9d4abfe81d0d5814721b64f59a14c.gz
2007-05-27dead codeDon Stewart1-1/+0
darcs-hash:20070527072652-9c5c1-be19c516b63614dcf81ce37f8c564184c67ea9f6.gz
2007-05-22restart: don't preserve old argsSpencer Janssen1-4/+3
darcs-hash:20070522060357-a5988-037eb7484106de44a541f21c41d15c2050e94760.gz
2007-05-22Generalize withDisplay's typeSpencer Janssen1-1/+1
darcs-hash:20070522043758-a5988-7738168ac829a9b2cf79e6866072cccde379a977.gz
2007-05-22List --resume args firstSpencer Janssen1-1/+1
darcs-hash:20070521232427-a5988-f7c747a1bfcc2a6ad38d5c47c3ecf195d1e4a6b5.gz
2007-05-21Experimental support for a beefier restart.Spencer Janssen1-7/+15
darcs-hash:20070521194653-a5988-b6725cc0d73fc6b726dc41284eef9303a7e59a1e.gz
2007-05-21Catch the exception rather than explicitly checking the PATHSpencer Janssen1-6/+2
darcs-hash:20070521191900-a5988-ef2361014d1d8c27cd8c73d290cdeff13ee38df6.gz
2007-05-21Put restart in the X monadSpencer Janssen1-2/+2
darcs-hash:20070521190749-a5988-1c95a0491806b06a32e7fe8bd6bcac31ebc7ad6b.gz
2007-05-21Show instances for WorkspaceId and ScreenIdSpencer Janssen1-2/+2
darcs-hash:20070521190704-a5988-24dfb3b96a551ee2a27c9dd09461ddd260db8e64.gz
2007-05-21Use Position for dimensionsSpencer Janssen1-4/+4
darcs-hash:20070521162809-a5988-fbabe930a50582fb828cd3683167e158bec904ad.gz
2007-05-21Make screen info dynamic: first step to supporting randrSpencer Janssen1-3/+3
darcs-hash:20070521152759-a5988-736e7caea5252a77bb01d7631cce0db4287ff6f2.gz
2007-05-21s/workspace/windowset/Jason Creighton1-2/+2
darcs-hash:20070521040330-b9aa7-5a36f8a4f90cc4116ffa3532a14bf405bfb942bb.gz
2007-05-20HEADS UP: Rewrite StackSet as a ZipperDon Stewart1-4/+31
In order to give a better account of how focus and master interact, and how each operation affects focus, we reimplement the StackSet type as a two level nested 'Zipper'. To quote Oleg: A Zipper is essentially an `updateable' and yet pure functional cursor into a data structure. Zipper is also a delimited continuation reified as a data structure. That is, we use the Zipper as a cursor which encodes the window which is in focus. Thus our data structure tracks focus correctly by construction! We then get simple, obvious semantics for e.g. insert, in terms of how it affects focus/master. Our transient-messes-with-focus bug evaporates. 'swap' becomes trivial. By moving focus directly into the stackset, we can toss some QC properties about focus handling: it is simply impossible now for focus to go wrong. As a benefit, we get a dozen new QC properties for free, governing how master and focus operate. The encoding of focus in the data type also simplifies the focus handling in Operations: several operations affecting focus are now simply wrappers over StackSet. For the full story, please read the StackSet module, and the QC properties. Finally, we save ~40 lines with the simplified logic in Operations.hs For more info, see the blog post on the implementation, http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/17#xmonad_part1b_zipper darcs-hash:20070520070053-9c5c1-241f7ee7793f5db2b9e33d375965cdc21b26cbd7.gz
2007-05-12put doLayout in the X monad.David Roundy1-1/+1
darcs-hash:20070512215301-72aca-59213ac37c38e57d6ffed1d518afd4729f1744c9.gz
2007-05-14setsid() before exec. Intended to fix issue #7Spencer Janssen1-2/+2
darcs-hash:20070514044547-a5988-0e3c07a629fd1a28e11ee9ae1395086a5477dae2.gz
2007-05-04since we just ignore type errors, no need to derive ShowDon Stewart1-1/+1
darcs-hash:20070504094143-9c5c1-44d5edcd4b261a2d93b054f48e7818b0c9e58db2.gz
2007-05-04Constrain layout messages to be members of a Message classDon Stewart1-10/+28
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
2007-05-04Handle empty layout listsSpencer Janssen1-1/+2
darcs-hash:20070504045644-a5988-68a6d650bacab936f893b96bf866696da3f73436.gz
2007-05-04refactoring, style, comments on new layout codeDon Stewart1-1/+3
darcs-hash:20070504023618-9c5c1-4b5a4021212b08fedff7f8ec3d8b4234431aada3.gz
2007-05-03add support for extensible layouts.David Roundy1-11/+5
darcs-hash:20070503144750-72aca-f44bca4573837e12fc1f89333b55e04abd52787c.gz
2007-05-03comments. and stop tracing events to stderrDon Stewart1-2/+6
darcs-hash:20070503075821-9c5c1-d5bc043872adb9f95c23e0fde87ae11f16108785.gz
2007-04-30Add Config.hs-boot, remove defaultLayoutDesc from XConfSpencer Janssen1-1/+0
darcs-hash:20070430162647-a5988-70420c2db283eb1585c96d977e5ac5ca3d0d1532.gz
2007-04-30Comment onlySpencer Janssen1-12/+12
darcs-hash:20070430161635-a5988-ee0abcdeff2aa92df2d593de488797015c0fc7e7.gz
2007-04-30Comment onlySpencer Janssen1-1/+1
darcs-hash:20070430161511-a5988-2196c16d0c2d0d5207b68a6b27d66b11b4fe0014.gz
2007-04-30Add XConf for values that don't change.Spencer Janssen1-10/+14
darcs-hash:20070430054715-a5988-a74f5e2868f47443a69b0cd821fa690e43a4a7e1.gz
2007-04-30configurable border colorsJason Creighton1-0/+2
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
2007-04-19add 8 new QC tests, including tests of the layout algorithmDon Stewart1-0/+1
darcs-hash:20070419040833-9c5c1-9d8965bf22113a8aec47244eab7c769affb75951.gz
2007-04-19WindowSet is better than WorkSpaceSpencer Janssen1-3/+3
darcs-hash:20070419015430-a5988-1abfb64ca77e80031074f4a01f1f4e1a2e5efbac.gz
2007-04-19Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart1-5/+10
darcs-hash:20070419012705-9c5c1-3aa97e02123af08c3f4500c9e9c3bb7ab4121652.gz
2007-04-11clean up tiling code a teensy bit, and comment on the interaction between ↵Don Stewart1-3/+3
focus, master, and cycling direction between the modes darcs-hash:20070411080747-9c5c1-0f6e9cc92481db8ba812976ee8d3cb0f7dde6626.gz
2007-04-11clean up onlyDon Stewart1-22/+29
darcs-hash:20070411065607-9c5c1-dcbe0dac9354e1588ab6970daf65bc1405a204b0.gz
2007-04-11Statically distinguish Workspace and Screen indicesDon Stewart1-5/+2
darcs-hash:20070411060456-9c5c1-a5642813cffe434e60310d21497217ef3704b296.gz
2007-04-10moved screen <-> workspace mapping from XMonad to StackSetJason Creighton1-1/+0
darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4.gz
2007-04-10Simplify rotSpencer Janssen1-2/+2
darcs-hash:20070409223500-a5988-fa8da8a067b0a923c8709f5656648a5b21241eeb.gz
2007-04-09Remove unused 'screen' fieldSpencer Janssen1-1/+0
darcs-hash:20070409073510-a5988-b2a95e4ba83a58a7be01dc49961449fa1f817014.gz
2007-04-09Document XState fieldsSpencer Janssen1-13/+11
darcs-hash:20070409073414-a5988-cad31b0c3b3272413e0f3b1721d3b6997e448f30.gz
2007-04-09Use -funbox-strict-fields, rather than UNPACK pragmas. cleaner code.Don Stewart1-11/+13
darcs-hash:20070409072302-9c5c1-f55281c59754fa1fe17dbfe406f2fe2c71f7061d.gz
2007-04-03Use Tall and Wide for split screen layouts. This should be less confusing.Spencer Janssen1-1/+1
darcs-hash:20070403050610-a5988-34a441f8eb299905ed28d415a9524121585d06d0.gz
2007-04-03vertical (master area on top) tilingJason Creighton1-1/+1
darcs-hash:20070403040658-b9aa7-4bbe82e188fd19de00f8d6f86a3e4d3b4a39bf01.gz
2007-04-02Comment typo.Spencer Janssen1-1/+1
darcs-hash:20070402214605-a5988-385c975d34b98deb0609579f9ca9208cf522e2b5.gz
2007-04-02Revert to the old layout code.Spencer Janssen1-39/+7
darcs-hash:20070402045114-a5988-3fa15b1c4d8d79494bf430dcad921d22cdfa8d16.gz
2007-04-01Remove trailing spaces, no content changedAlec Berryman1-1/+1
darcs-hash:20070401144539-39448-1903870c5ef75cc918a8ea3153c5b154feb4e644.gz
2007-04-01Merged things together with dons changes.hughes1-6/+7
darcs-hash:20070401021846-3a569-083f7d441afc41bdeef843113c1de1d3a5e40ee3.gz
2007-04-01Vertical/horizontal split, and resizability.hughes1-6/+36
darcs-hash:20070401014706-3a569-26a764b57274f67057adf0b81eb71158b58f49de.gz
2007-04-01formatting fixes. the style is getting a bit dodgy in some places...Don Stewart1-1/+6
darcs-hash:20070401002803-9c5c1-e15fd397cbaf1182a13e1c55ca024ef2ef2fdbae.gz
2007-03-28first shot at allowing click to focus windowsdaniel1-4/+0
darcs-hash:20070328101540-c98ca-92140a718ff7491aa88895c0592cd9a964e671b0.gz
2007-03-26Workspace-specific layoutshughes1-3/+15
darcs-hash:20070326150213-3a569-64dd38c00558d58f27c3803ab15485892c24cfaa.gz
2007-03-21Allow dynamic width in tiling modedaniel1-0/+2
darcs-hash:20070321054245-c98ca-fc10278adbcbfe61de0f7bb4d4e14c5befc565b2.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 02:04:17 +0000