diff options
| author | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-17 15:14:11 +0200 |
|---|---|---|
| committer | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-07-17 15:14:11 +0200 |
| commit | df7761651e426bc874b30cb52fb4205543031a91 (patch) | |
| tree | f47293ddd5a841e798619d42fe202340efd1d1f2 /Plugins/Monitors/Common.hs | |
| parent | c2b98fd88acba773135167454422ff68c85e2f49 (diff) | |
| download | xmobar-df7761651e426bc874b30cb52fb4205543031a91.tar.gz xmobar-df7761651e426bc874b30cb52fb4205543031a91.tar.bz2 | |
XExposeEvent handling: that requires X11-extras
XExposeEvent is now properly (sort of) handled, with an hackish approch:
before nextEvent, that will block Xmobar since an Expose event is captured,
we create a background thread that will send an Expose event after the
configured refresh interval. So, either a real of a fake Expose event will
reach our window within the configured interval. Quite cool, after all.
darcs-hash:20070717131411-d6583-0d3438bdcb1d346ade3932ffb979cb998654e4d1.gz
Diffstat (limited to 'Plugins/Monitors/Common.hs')
0 files changed, 0 insertions, 0 deletions