Age | Commit message (Collapse) | Author |
|
darcs-hash:20070426014105-a5988-87c092ecd1c8fa40a18db1a82654b9d1b325eb7a
|
|
darcs-hash:20070426010812-43953-2d3873c7bb503b79c429131dee81cac989be6844
|
|
darcs-hash:20070426005713-a5988-10ed3204d691050d7ce018072d3fcf03221f545e
|
|
darcs-hash:20070424013357-b9aa7-aed2e5623aa5d0f804d131974fc9b6c21c7a2ce1
|
|
darcs-hash:20070424010352-a5988-411c7bc6d019f772b412e230cfc19aa06041ca7c
|
|
darcs-hash:20070423050824-b9aa7-3fc8d9ad35a886852f035f8dabb0abaaee912ede
|
|
darcs-hash:20070423024026-9c5c1-d87c096a784efd5888e391beff45bb6fb364e998
|
|
darcs-hash:20070423023151-9c5c1-ef43ad08403c951fd765d568ab7d4c1cd3b5c0b1
|
|
darcs-hash:20070423021526-a5988-489a28c904c9f1b9c0d625b96cb571f62e5d24d7
|
|
darcs-hash:20070422090507-9c5c1-acfc37157cec3e9c8ce57235ad88d5535ee76172
|
|
darcs-hash:20070422082948-a5988-bc13e17c69ac2c3d29f13f3a124ba195aaa3416e
|
|
darcs-hash:20070422080824-a5988-428d14438b8d44abedaaff9e0e7818d5c806ce7a
|
|
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
|