summaryrefslogtreecommitdiffstats
path: root/Config.hs
AgeCommit message (Collapse)Author
2007-05-30Really change restart keybinding this timeSpencer Janssen
darcs-hash:20070530061454-a5988-b2446b9dde7fdbdd3d08790c9891ee5fd4c964ea
2007-05-30UNDO: HEADS UP: Change restart keybinding to mod-qSpencer Janssen
darcs-hash:20070530061044-a5988-ec27af97c1623bcc9ad394fe2414c0b3593c4b7a
2007-05-30HEADS UP: Change restart keybinding to mod-qSpencer Janssen
darcs-hash:20070530061044-a5988-4b79ec5abb1bd8a3079d73101856741e57257402
2007-05-29Fix 'refresh' doc stringSpencer Janssen
darcs-hash:20070529020446-a5988-801944996c8d327737c5318450aa6365e1aacde2
2007-05-29make 'tall' layout the default on startup. more useful for new usersDon Stewart
darcs-hash:20070529014611-9c5c1-48e9cdfa7fddbe720563f2526ee494eaab7e8db6
2007-05-28ensure !! won't go out of bounds in modifyGapDon Stewart
darcs-hash:20070528070609-9c5c1-2f1c968174a8e53b4f37e62e6fd22a70f7ecf3b0
2007-05-28help man scriptDon Stewart
darcs-hash:20070528033846-9c5c1-bdc67f406d31199257c63453be36d4c7e8652f4a
2007-05-28Document mod-nSpencer Janssen
darcs-hash:20070528033536-a5988-9e3cf98d259c1469791a8f8ed6364f8272cf8e7c
2007-05-28support per-screen gap settings. you can have different gaps on individual ↵Don Stewart
screens now darcs-hash:20070528031501-9c5c1-beaadbacb5efc1ce5998aba41fbb3b2c68cdf0d1
2007-05-28Use (Int,Int,Int,Int) for arbitrary gaps on any side of the screenDon Stewart
darcs-hash:20070528025135-9c5c1-3c0f63ac557da57cd268cd0129b9ce90692631e4
2007-05-27mod-b, toggle on or off the status bar gapDon Stewart
darcs-hash:20070527125928-9c5c1-a16246810db9d4abfe81d0d5814721b64f59a14c
2007-05-27Add new config value, defaultMenuGap, for specifying a gap for a status barDon Stewart
By default, it is 0 (set in Config.hs), but set this to a pixel count to get a permanent gap at the top of the screen. You can then at startup launch dzen, and it will run in this gap, and not be obscured by other windows. Perfect for a persistant status bar. darcs-hash:20070527122702-9c5c1-2a3ca82463b3bab21556674936b1bf8a86ba6356
2007-05-27Generate keybindings section in manpage from Config.hsJason Creighton
darcs-hash:20070527062914-b9aa7-d28805de3a198f81ca54cb800250bb16f65ab036
2007-05-26HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart
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 == focusDown. Far more intuitive for people (dons) who live in fullscreen mode and have vim movement wired into their central nervous system. Principle of least VI surprise: movement down or up means using j and k. darcs-hash:20070526111453-9c5c1-3242145ee5b51eb070a7dc3663f0d6cc01671d5c
2007-05-25Formatting onlySpencer Janssen
darcs-hash:20070525214414-a5988-21fb1ba95dfae8f90cb98554bb85c6c31630aa86
2007-05-23Use --resume by defaultSpencer Janssen
darcs-hash:20070523191418-a5988-3b7c62f2e5d958b5c0e863c8ea048cf593995f2a
2007-05-22add swapLeft and swapRightbobstopper
darcs-hash:20070522050008-ee4f8-6073519fac239b25e5e265ce3995ee75683fcb81
2007-05-21Experimental support for a beefier restart.Spencer Janssen
darcs-hash:20070521194653-a5988-b6725cc0d73fc6b726dc41284eef9303a7e59a1e
2007-05-21Put restart in the X monadSpencer Janssen
darcs-hash:20070521190749-a5988-1c95a0491806b06a32e7fe8bd6bcac31ebc7ad6b
2007-05-21Fix mod-j/k bindingsSpencer Janssen
darcs-hash:20070521030253-a5988-3e4e92d04f8a4459cfb692f73ad7bda11348f9ad
2007-05-20HEADS UP: Rewrite StackSet as a ZipperDon Stewart
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
2007-05-16variable number of windows in master areaJason Creighton
darcs-hash:20070516031437-b9aa7-03d82cb2565a45fa0e17a34c4c20740b51ff625c
2007-05-04Constrain layout messages to be members of a Message classDon Stewart
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 = Zoom | Explode | Flaming3DGlassEffect deriving (Typeable) and they then add this to the set of valid message types: instance Message MyLayoutEvent Done. We also reimplement the dynamic type check while we're here, to just directly use 'cast', rather than expose a raw fromDynamic/toDyn. With this, I'm much happier about out dynamically extensible layout event subsystem. darcs-hash:20070504081649-9c5c1-954b406e8c21c2ca4428960e4fc1f9ffb17fb296
2007-05-04More Config.hs bugsSpencer Janssen
darcs-hash:20070503234607-a5988-3f9f46071263093707fdaba677899edc1a85edc1
2007-05-04Revert accidental change to Config.hsSpencer Janssen
darcs-hash:20070503233148-a5988-628ec9194db704513dd804fc7c72bb478689526e
2007-05-03add support for extensible layouts.David Roundy
darcs-hash:20070503144750-72aca-f44bca4573837e12fc1f89333b55e04abd52787c
2007-05-03elaborate documentation in Config.hsDon Stewart
darcs-hash:20070503074843-9c5c1-52a96686d7d6a1e260790db263c03799116b1202
2007-05-03Add 'mod-n': refreshes current layoutSpencer Janssen
darcs-hash:20070503002252-a5988-751a9563c3a2574a423367cdcba11e3e661f9d92
2007-04-30Make border width configurableSpencer Janssen
darcs-hash:20070430163515-a5988-9dea5188c30830fd8b3135f7cb5beffd7b90dcb9
2007-04-30Add Config.hs-boot, remove defaultLayoutDesc from XConfSpencer Janssen
darcs-hash:20070430162647-a5988-70420c2db283eb1585c96d977e5ac5ca3d0d1532
2007-04-30configurable border colorsJason Creighton
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
2007-04-26Further refactoringSpencer Janssen
darcs-hash:20070426212257-a5988-dc5cc91918a152728de05a7f6c39d209d81c5b04
2007-04-26Refactor in Config.hs (no real changes)Spencer Janssen
darcs-hash:20070426211407-a5988-e08784e64270523d8dac44d8249c335f029272fd
2007-04-24Ignore numlock and capslock in keybindingsJason Creighton
darcs-hash:20070424013357-b9aa7-aed2e5623aa5d0f804d131974fc9b6c21c7a2ce1
2007-04-16added comment about windows key (mod4Mask)Jason Creighton
darcs-hash:20070415233635-b9aa7-a2b7e4d3fe21647c2389ea6be9378fd116b4c6f8
2007-04-16remove unused sizeDelta settingJason Creighton
darcs-hash:20070415233244-b9aa7-ff6853261d57f8feab2ccda3a148eb2a1bf9c8af
2007-04-14added warning re: xmonad in path to mod-shift-q docsJason Creighton
darcs-hash:20070413233019-b9aa7-07490bd62af6357002a01b44ec10b805b831ee60
2007-04-14Clear up documentation on mod-h/lSpencer Janssen
darcs-hash:20070413230706-a5988-5e095da766d7425f6099a7de1ac8171d4db7bfe4
2007-04-12mod-wer for Xinerama was inadvertently changedAlec Berryman
darcs-hash:20070412132033-39448-2be6f5ab22fabd3c126cbba0bc81017477c1a083
2007-04-11add license headers to two missing filesDon Stewart
darcs-hash:20070411081042-9c5c1-05a68bbf16969dbb8854b37ab9b72e042d7fac9a
2007-04-11explain what mod-return now does. it cyclesDon Stewart
darcs-hash:20070411073636-9c5c1-fbf217e9e05f7135897d59302445da5f9fcbbef1
2007-04-11Change semantics of 'promote'.Don Stewart
Previously 'promote' would move the currently focused window into the master position in tiled mode. This was *almost* a cycle of the windows, but not quite (depending on where the focus was, it was in fact a cycle). Now we do the obvious generalisation, and just cycle the current window stack. Simpler to understand, simpler to reason about. darcs-hash:20070411073456-9c5c1-3ee88f9ac46e2301b4c803ec4fd66798e6fee91d
2007-04-11Statically distinguish Workspace and Screen indicesDon Stewart
darcs-hash:20070411060456-9c5c1-a5642813cffe434e60310d21497217ef3704b296
2007-04-10Move workspace fetching logic from Config.hs to Operations.hsSpencer Janssen
darcs-hash:20070410064714-a5988-e9b1fac201a546d1722db41213efc81223007e43
2007-04-10moved screen <-> workspace mapping from XMonad to StackSetJason Creighton
darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4
2007-04-04summarise key bindings in a table in Config.hsDon Stewart
darcs-hash:20070404011441-9c5c1-7d2e61f6f51fbfa155f93512240f9caed286f6d6
2007-04-03Use Tall and Wide for split screen layouts. This should be less confusing.Spencer Janssen
darcs-hash:20070403050610-a5988-34a441f8eb299905ed28d415a9524121585d06d0
2007-04-03Comment typo: more -> moveAlec Berryman
darcs-hash:20070402221948-39448-a27a073869e63b0e11c4cf4f3ae17d2b09d80550
2007-04-02Revert to the old layout code.Spencer Janssen
darcs-hash:20070402045114-a5988-3fa15b1c4d8d79494bf430dcad921d22cdfa8d16
2007-04-01Type error: lockMask :: KeyMask, not KeySymAlec Berryman
Error prevents compilation on 64-bit systems. darcs-hash:20070401143416-39448-7ab8c797f9590cda9576767eddda6b7ceb5bf2ea