diff options
author | mail <mail@joachim-breitner.de> | 2007-10-06 15:28:02 +0200 |
---|---|---|
committer | mail <mail@joachim-breitner.de> | 2007-10-06 15:28:02 +0200 |
commit | 1c54d11f556ef4850165832072ccbed55e417f4e (patch) | |
tree | c5a5cc9a6711104cde9aa624faa37a347204e54c /scripts/generate-configs.sh | |
parent | 9cead4a60e4eb68a19b76e066e796847a6aef8cb (diff) | |
download | XMonadContrib-1c54d11f556ef4850165832072ccbed55e417f4e.tar.gz XMonadContrib-1c54d11f556ef4850165832072ccbed55e417f4e.tar.xz XMonadContrib-1c54d11f556ef4850165832072ccbed55e417f4e.zip |
(un)Manage Docks based on WINDOW_TYPE
Hi,
this is a replacement for the example code in Config.hs that should detect
and unamange, for example, the gnome-panel.
The problem with that code is that it also unamangs dialog boxes from gnome-panel
which then are not usable (no keyboard intput, at least here).
Greetings,
Joachim
darcs-hash:20071006132802-c9905-befdbe36f6f280d987dfb62702b7a6e05ce3306c.gz
Diffstat (limited to 'scripts/generate-configs.sh')
0 files changed, 0 insertions, 0 deletions