| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
| |
darcs-hash:20070528031835-9c5c1-34c9fc2931a6daa8fc3e63385782f43b097e293f.gz
|
|
|
|
|
|
| |
screens now
darcs-hash:20070528031501-9c5c1-beaadbacb5efc1ce5998aba41fbb3b2c68cdf0d1.gz
|
|
|
|
| |
darcs-hash:20070528025135-9c5c1-3c0f63ac557da57cd268cd0129b9ce90692631e4.gz
|
|
|
|
| |
darcs-hash:20070527210657-a5988-333c8d601ea8c6f339abb7e526b05e5386ac2233.gz
|
|
|
|
| |
darcs-hash:20070527205857-a5988-874325c8431af2962cfd55200e6ec51ad932e312.gz
|
|
|
|
| |
darcs-hash:20070527154353-9c5c1-6ef13fd2212f3a18a3050c47d71eb250ec4ec683.gz
|
|
|
|
| |
darcs-hash:20070527153211-9c5c1-0a36be7dd8b8181597f21e362ac735b343746b79.gz
|
|
|
|
|
|
| |
switched workspaces (so gap follows screen focus)
darcs-hash:20070527151942-9c5c1-27e63c884e4003fc003b1928ed28412e01a21764.gz
|
|
|
|
| |
darcs-hash:20070527150805-9c5c1-6774cc60f8f39b8ac16c465d7ab0d2884a984fc1.gz
|
|
|
|
| |
darcs-hash:20070527150053-9c5c1-7beafec5c4b32c55ca5110ee85c00c9000581cf1.gz
|
|
|
|
| |
darcs-hash:20070527143216-9c5c1-4e5dedcf6a34afbc0dd70f063fd3f784a6b104b9.gz
|
|
|
|
|
|
| |
Harmless with status bar support now
darcs-hash:20070527134505-9c5c1-7cf8be20d1976afdd694da946ae72cfb537fa209.gz
|
|
|
|
| |
darcs-hash:20070527125928-9c5c1-a16246810db9d4abfe81d0d5814721b64f59a14c.gz
|
|
|
|
|
|
|
|
|
|
|
| |
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.gz
|
|
|
|
|
|
| |
I think
darcs-hash:20070527094105-9c5c1-8607589fd688646f38b62804c964f24f71f56b5c.gz
|
|
|
|
| |
darcs-hash:20070527074438-9c5c1-af8256d1690de2b48e86f2085106f74954c0738b.gz
|
|
|
|
| |
darcs-hash:20070527072652-9c5c1-be19c516b63614dcf81ce37f8c564184c67ea9f6.gz
|
|
|
|
| |
darcs-hash:20070527072135-9c5c1-4ae38462432bab057eb5b3ac8a4abb055bd02ec6.gz
|
|
|
|
| |
darcs-hash:20070527072106-9c5c1-48830bdd83fd4823fdabce0961dafb3bea416bf6.gz
|
|
|
|
| |
darcs-hash:20070527063740-9c5c1-a7eb9e3494aa81ec587dfdb0793535f02b1013d7.gz
|
|
|
|
| |
darcs-hash:20070527062914-b9aa7-d28805de3a198f81ca54cb800250bb16f65ab036.gz
|
|
|
|
| |
darcs-hash:20070527014032-9c5c1-84e2f10ad9cea151f04f15d331896e7894a9d87e.gz
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
| |
darcs-hash:20070526061450-9c5c1-217d8a3962ce1422eedfb90f8c9d7e8578d83d60.gz
|
|
|
|
| |
darcs-hash:20070523233212-73ab9-81ab782d6360e1d85152c647f9c7cd19a065963a.gz
|
|
|
|
| |
darcs-hash:20070523232941-73ab9-92de9abc52676c6d28146445d1439cf0e375da59.gz
|
|
|
|
| |
darcs-hash:20070526060720-9c5c1-c7adede811d010289f6116cfff0f4ddf6105531a.gz
|
|
|
|
| |
darcs-hash:20070525163159-64353-15e04204eb27aebe6c98a58c8e26b5c5d3083348.gz
|
|
|
|
| |
darcs-hash:20070525214414-a5988-21fb1ba95dfae8f90cb98554bb85c6c31630aa86.gz
|
|
|
|
|
|
| |
See patch "Deleting a window should not affect focus". Checks this property.
darcs-hash:20070525035432-64d90-e1b1684a128a8336c14be3479b088988a5ddbd35.gz
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
| |
darcs-hash:20070525153143-a5988-33dad8045cfc6cc142698a4f144ef7d19fb9055a.gz
|
|
|
|
|
|
|
|
|
|
|
| |
This fixes a bug whereby deleting a window will first move focus to
that window before deleting it without moving focus back afterwards.
The fix generalises the remove inner function to delete a window from
the stack whether it's in focus or not. If the window is in focus,
behaviour remains as it was.
darcs-hash:20070525024118-64d90-a9f70b49186be59e62af4b11671099996c5e294f.gz
|
|
|
|
| |
darcs-hash:20070523191418-a5988-3b7c62f2e5d958b5c0e863c8ea048cf593995f2a.gz
|
|
|
|
| |
darcs-hash:20070522050008-ee4f8-6073519fac239b25e5e265ce3995ee75683fcb81.gz
|
|
|
|
| |
darcs-hash:20070522060357-a5988-037eb7484106de44a541f21c41d15c2050e94760.gz
|
|
|
|
| |
darcs-hash:20070522043844-a5988-964764300d3bae3751718d2ce9c583a2c8e710af.gz
|
|
|
|
| |
darcs-hash:20070522043758-a5988-7738168ac829a9b2cf79e6866072cccde379a977.gz
|
|
|
|
| |
darcs-hash:20070522043116-9c5c1-034fa6854b4ad99316fcc0f85904bec62ef1549b.gz
|
|
|
|
| |
darcs-hash:20070522040228-a5988-1ae9fc6bd773b32bc4a4c43aeab556857929fef4.gz
|
|
|
|
| |
darcs-hash:20070522015422-73ab9-c62473d90f0df78e23a96acec0245e9bb9c275b6.gz
|
|
|
|
| |
darcs-hash:20070521234535-a5988-1f7d9a7ac5bc14119c249f640946af8e57917030.gz
|
|
|
|
| |
darcs-hash:20070521232427-a5988-f7c747a1bfcc2a6ad38d5c47c3ecf195d1e4a6b5.gz
|
|
|
|
|
|
| |
This is ugly right now -- I promise to clean it up later.
darcs-hash:20070521215646-a5988-dbd38c5fa2ebaac4022cdc60a3371af249c445f5.gz
|
|
|
|
| |
darcs-hash:20070521194653-a5988-b6725cc0d73fc6b726dc41284eef9303a7e59a1e.gz
|
|
|
|
| |
darcs-hash:20070521191900-a5988-ef2361014d1d8c27cd8c73d290cdeff13ee38df6.gz
|
|
|
|
| |
darcs-hash:20070521190749-a5988-1c95a0491806b06a32e7fe8bd6bcac31ebc7ad6b.gz
|
|
|
|
| |
darcs-hash:20070521190704-a5988-24dfb3b96a551ee2a27c9dd09461ddd260db8e64.gz
|
|
|
|
| |
darcs-hash:20070521184504-a5988-348b1e31532e664b6ad4bbb9ed82e57b53c41417.gz
|
|
|
|
| |
darcs-hash:20070521165123-a5988-02f5d32547cfd814fa615ae86c93b824e58b3a12.gz
|