Age | Commit message (Collapse) | Author |
|
darcs-hash:20080913024457-f7719-181450f5e087226c9a363b7501b27bb2aea76944
|
|
darcs-hash:20080921061508-25a6b-2704a252a610d18fbe773e6ae2cf89652e7275b2
|
|
darcs-hash:20080911214803-25a6b-9306a467197e471b957eb357c5740b0f585202bd
|
|
darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091
|
|
darcs-hash:20080905195211-25a6b-0b642db3feaeea930c1f9bf31cb7281c7e7d8da4
|
|
darcs-hash:20080905194225-25a6b-d22210f9ba729523984dc2c475a72fe077fe5cae
|
|
darcs-hash:20080905194915-25a6b-a5b20fec10a8026be7e178b4d40ee53628e83558
|
|
darcs-hash:20080905194837-25a6b-9011e086e5e5b2c571697655203593bb8e8e8973
|
|
darcs-hash:20080820210023-25a6b-a518e3067aeca98d3c75599cfcfe74c69cf47781
|
|
darcs-hash:20080820204102-25a6b-2ffd1bfc0f1d44382664d0ea8e4f5aafd19a99fd
|
|
darcs-hash:20080601212515-1ef02-00edd6567c840d7fec8ee7ed085b3cd2655ad6e3
|
|
darcs-hash:20080601204951-1ef02-f66c70867a91bc35da3ab71b1169db4ba1ee62fe
|
|
darcs-hash:20080714202650-25a6b-294662e9b6b3592f37156af814171d5863557faa
|
|
darcs-hash:20080521215057-5b2f6-8f1e27f1963b78ebe2954cd17558a778de82de3a
|
|
darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1
|
|
darcs-hash:20080508104640-a5988-1f1f6134d3514e9a35b416b66e33c02f8669045c
|
|
darcs-hash:20080507013122-a5988-e04061b89044fd2139ddfe0db3ba32b7739202b6
|
|
darcs-hash:20080507012608-a5988-bc66b5c5d3386022378246e29d862e1b7b4de4ed
|
|
darcs-hash:20080507012519-a5988-3c2577c486ae0bdb5e2ba4b4f814608ddad54d45
|
|
darcs-hash:20080507011309-a5988-bc76a64cabc39d7c3ef2dca7e1246e6f9dbc4e0b
|
|
darcs-hash:20080506220809-a5988-5bb7d843d9c1f285534b8e55eea72124d88d3b78
|
|
If the user used the mouse to change window focus (moving into or clicking on a
window), this should be handled differently than focus changes due to keyboard
commands. Specifically, it's inappropriate to discard window enter/leave events
while the mouse is moving. This fixes the bug where a fast mouse motion across
multiple windows resulted in the wrong window keeping focus.
It's also helpful information for contrib modules such as UpdatePointer - it's
supposed to move the mouse pointer only in response to keyboard actions, not if
the user was moving the mouse.
darcs-hash:20080502175603-e41d7-0ac41e5353fcd8aed71ee3beb7f5511337225155
|
|
darcs-hash:20080506203840-a5988-9f9543b4e741c9352282b04572e37c3588a81f7b
|
|
darcs-hash:20080506185757-98257-f0e6f2940269244914797539efd3f6e86960d037
|
|
darcs-hash:20080502210149-cba2c-38e2823f19bcf8f92394be8394a99296a7e3549a
|
|
darcs-hash:20080407222559-a5988-3810dfe1f0a43bb97b39e57e3303bbf90b0d404e
|
|
This should reduce the number of repaints for newly visible windows.
darcs-hash:20080407220756-a5988-d59b1d765322cfcac42200538909818d4ef3a4b8
|
|
darcs-hash:20080430014012-a5988-a203e733895ee2aa3839a266df0f8b19aa3c0763
|
|
darcs-hash:20080418184337-cba2c-a316c61d1a56205e8b7a0e7b7573446449e229fe
|
|
darcs-hash:20080406012006-462cf-4a10582299442b6e035a62f43d13a72666d892a1
|
|
The code for 'title' was stolen from getname.patch (bug #44).
darcs-hash:20080406011338-462cf-eb1e460ba0855f4b198d4d255ed28dd1ea1e1d37
|
|
darcs-hash:20080406011234-462cf-09fde81185653a210d292b90b02595de7c365bb1
|
|
darcs-hash:20080405135009-d4c7e-51a1a928fa2f4adbc58b394ac00c8dd7c7112488
|
|
Make applySizeHints take window borders into account. Move old functionality
to applySizeHintsContents. Add new mkAdjust function that generates a custom
autohinter for a window.
darcs-hash:20080404215615-462cf-e6c1373d13ec4c6b0d675778125c75d76fbc896f
|
|
darcs-hash:20080404215444-462cf-187ce215f00dc0e41db7eb23c1f92f4e9d80c155
|
|
darcs-hash:20080329232959-a5988-cd5332105a496ddf3ff97c5e107bb8c90b5eb699
|
|
darcs-hash:20080325091526-a5988-e6ed58b0d493845525a4c7e5977352cfb12b9c92
|
|
darcs-hash:20080329205804-a5988-95e8d7691598e211fd40306208140f152f518622
|
|
darcs-hash:20080329204158-a5988-863b90a4155d16a6fdb596b5f7015d77365891f1
|
|
darcs-hash:20080329191336-a5988-e6f13e33ccda49bc7d1303260333b6ede38b2568
|
|
darcs-hash:20080328214219-cba2c-fdd2590e0670c67f87778e97c84895ff4b528cb0
|
|
darcs-hash:20080325201814-a5988-0ed64be080f177d367a4739c54a718219f24df04
|
|
from a window (such as WM_WINDOW_ROLE, for example)
darcs-hash:20080325145414-bd4d7-c7aee8e7ee691e4a75a88451762472db63aa6e45
|
|
darcs-hash:20080325171241-bd4d7-a979bcfacd914c6566b7d3afc701f95b0d62f34d
|
|
darcs-hash:20080324225857-a5988-623d8ab2a19923bccfe32f8adb23320004912831
|
|
darcs-hash:20080322214116-cba2c-53cbd5c7049e9dcbdc21c16fa2a4526c9c7447a4
|
|
This patch:
- moves broadcastMessage and restart from Core to Operations (to avoid
circular imports);
- in Operations introduces sendMessageWithNoRefresh and move
updateLayout outside windows.
- broadcastMessage now uses sendMessageWithNoRefresh to obey to this
rules:
1. if handleMessage returns Nothing no action is taken;
2. if handleMessage returns a Just ml *only* the layout field of the
workspace record will be updated.
darcs-hash:20080223130702-32816-60d71cd8ac32cff1d4039947142332023274a725
|
|
darcs-hash:20080324212453-a5988-7344cb61508f6eabe969aed2a749f0adcc425704
|
|
darcs-hash:20080129235258-462cf-8c2dfd926fc7e007b68730df4899dc34da1b25e4
|
|
darcs-hash:20080323211421-cba2c-46aba254af16f1bf3cb269bc84f289882010b93f
|