Age | Commit message (Collapse) | Author |
|
darcs-hash:20070422080806-a5988-9eec1c1386156e1bd4ffd13523b8b0a3458cacec
|
|
Copied from Arbitrary Word8; I don't understand the coarbitrary definition and
the Word64 one may be erroneous, but Properties.hs now compiles and passes all
tests.
darcs-hash:20070419104652-39448-765063393aada90785e3160dcfb6c5cc43fb34f1
|
|
darcs-hash:20070419041809-9c5c1-ae507dc2ab7138f45b80078e30256b8340a92612
|
|
darcs-hash:20070419040833-9c5c1-9d8965bf22113a8aec47244eab7c769affb75951
|
|
darcs-hash:20070419032244-b9aa7-b3a4ef75d313d5c960775a75ddc91dbdae6485c7
|
|
darcs-hash:20070419015430-a5988-1abfb64ca77e80031074f4a01f1f4e1a2e5efbac
|
|
darcs-hash:20070419015239-a5988-c3be57b9f5a20b149c4873020fb4d91fb1ab349f
|
|
darcs-hash:20070419012705-9c5c1-3aa97e02123af08c3f4500c9e9c3bb7ab4121652
|
|
darcs-hash:20070419001201-9c5c1-7ab345797094d164e47185bebefe05b1add6e120
|
|
darcs-hash:20070418224725-9c5c1-e885b1392c8f6aaa1ccd5c5cbcdc9c41b29b6b6a
|
|
This means other windows are unaffected.
The change from the previous cycling behaviour was felt necessary, since
cycling isn't a terribly useful operation.
Some properties that hold:
focus is unchanged by promotion
promote is idempotent (promoting twice does nothing)
the focused and master window will swap their positions in the stack
darcs-hash:20070418224236-9c5c1-4539f9f397e181f91dc9743e3ffac4b5796c0fac
|
|
darcs-hash:20070418223323-a5988-8a8f955deea3fa03a161742c33ad6e004e7613a8
|
|
darcs-hash:20070418221326-a5988-9893a8fa0245f9735cc6e1a8b22e886025e90645
|
|
darcs-hash:20070418215546-a5988-8242d493c7ec8bf156dd02b2e05cdae21bf62bd1
|
|
darcs-hash:20070418214927-a5988-f53eae4d016b245050eb0fda3c2164c52b6aca3d
|
|
darcs-hash:20070418205725-a5988-ae771a2a581907290fff8a6ab0350887a2009c1b
|
|
darcs-hash:20070418014029-a5988-a7a422401fe062c25ab74764bdf2a5e44befb413
|
|
darcs-hash:20070418004533-72aca-d701954d2a24ceca7791e92c12a35c299b8272ff
|
|
As of:
Fri Apr 13 04:37:02 EDT 2007 Spencer Janssen <sjanssen@cse.unl.edu>
* Ignore window entries while moving windows. This should fix all the focus preservation problems.
darcs-hash:20070418001453-39448-d17c97d089e2f24451fba422d11ed053e39b45bc
|
|
darcs-hash:20070416025541-9c5c1-16be9a7ee5e4d1c3d319be7890f0812c56986116
|
|
darcs-hash:20070415233635-b9aa7-a2b7e4d3fe21647c2389ea6be9378fd116b4c6f8
|
|
darcs-hash:20070415233244-b9aa7-ff6853261d57f8feab2ccda3a148eb2a1bf9c8af
|
|
darcs-hash:20070415230435-9c5c1-e3d65518999a949b4d72bc3dc6225b97a9b99c33
|
|
darcs-hash:20070415055616-72aca-b81f926fe289216aa59af135f34db069eefce0a2
|
|
darcs-hash:20070413233019-b9aa7-07490bd62af6357002a01b44ec10b805b831ee60
|
|
darcs-hash:20070413230706-a5988-5e095da766d7425f6099a7de1ac8171d4db7bfe4
|
|
preservation problems.
darcs-hash:20070413083702-a5988-20863eaa042f45a1421a6f171d9a8c42a7854883
|
|
darcs-hash:20070413031003-a5988-340db7034d78e21a7459c19e726a70b4bcb419f4
|
|
darcs-hash:20070412132033-39448-2be6f5ab22fabd3c126cbba0bc81017477c1a083
|
|
darcs-hash:20070411081500-9c5c1-de5c90255b488c617bee222ece8e4ff059a8a95a
|
|
darcs-hash:20070411081042-9c5c1-05a68bbf16969dbb8854b37ab9b72e042d7fac9a
|
|
focus, master, and cycling direction between the modes
darcs-hash:20070411080747-9c5c1-0f6e9cc92481db8ba812976ee8d3cb0f7dde6626
|
|
darcs-hash:20070411073636-9c5c1-fbf217e9e05f7135897d59302445da5f9fcbbef1
|
|
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
|
|
darcs-hash:20070411065607-9c5c1-dcbe0dac9354e1588ab6970daf65bc1405a204b0
|
|
darcs-hash:20070411060947-9c5c1-88a2c630ec0bb669c5d34410fb546cc1ff538ded
|
|
darcs-hash:20070411060456-9c5c1-a5642813cffe434e60310d21497217ef3704b296
|
|
darcs-hash:20070411044215-b9aa7-e66ef93fac9102201bfd145ebb26c38bbecd25de
|
|
darcs-hash:20070411041615-b9aa7-fb18a7f93c7825f269844c0fcb1acb24ec494870
|
|
I don't think we're going to see any Xinerama support upstream, at least not
anytime soon. It doesn't make sense to ship something with xmonad that isn't
going to work out of the box. So for now Xinerama users should just use this
patch: http://www.jcreigh.com/xmonad/xinerama-dmenu.html
darcs-hash:20070411024716-b9aa7-e41d85ad5030a6a4eb6120257e8a5f2d1adaf00f
|
|
darcs-hash:20070410064714-a5988-e9b1fac201a546d1722db41213efc81223007e43
|
|
darcs-hash:20070410062731-b9aa7-e1768a3fe6c0e3c749400dffc4a5a5e33e6a08c4
|
|
darcs-hash:20070410021238-a5988-da6ee693b4a0f5ff6de25bcde93312e9f248139e
|
|
darcs-hash:20070409223500-a5988-fa8da8a067b0a923c8709f5656648a5b21241eeb
|
|
darcs-hash:20070409075817-a5988-51863ce92097594b0e0b7f63a22963a919a2910c
|
|
darcs-hash:20070409075029-a5988-bdafe7ef67c25719116af9fb9cc211941567b7f3
|
|
darcs-hash:20070409074945-a5988-ec74e28210eeb540909085a76a41698a97b5495d
|
|
darcs-hash:20070409074853-a5988-3114f373d130460707e8f371d39f131101919ac1
|
|
darcs-hash:20070409073836-a5988-5ab0dc0ff9723b13fe2216b937e05bc6e784008a
|
|
darcs-hash:20070409073510-a5988-b2a95e4ba83a58a7be01dc49961449fa1f817014
|