March 2008 - xmonad - Haskell.org

Issue 164 in xmonad: Switching Tabs twice doesnt work
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 164: Switching Tabs twice doesnt work http://code.google.com/p/xmonad/issues/detail?id=164 Comment #6 by redbeard0531: I can confirm the same behaviour -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

darcs patch: fix bug in TabBarDecoration leading to gaps in corner.
by David Roundy 25 Mar '08

25 Mar '08

Hi all, I'm pushing an analogous patch to Tabbed, but didn't want to push this one, since I haven't tested it. This patch deals with the situation where we our screen width doesn't divide evenly by the number of tabs. Currently, we simply round down on the tab width, with the result being that there is sometimes a gap on the right hand side (e.g. when I have five tabs on my screen with width 1024). This is ugly, and makes it harder to click on that rightmost tab (since the mouse naturally moves into the corner). So it's a good change to have, if I fixed it properly. But it's almost cosmetic, and simultaneously messes with arithmetic that (if we get it wrong) could make the tabbar completely useless. So please don't apply without testing. David Tue Mar 25 14:03:27 PDT 2008 David Roundy <droundy(a)darcs.net> * fix bug in TabBarDecoration leading to gaps in corner.

2 1

Issue 164 in xmonad: Switching Tabs twice doesnt work
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 164: Switching Tabs twice doesnt work http://code.google.com/p/xmonad/issues/detail?id=164 Comment #5 by domi...(a)dbruhn.de: I deleted and recompiled the whole xmonad and the bug didnt go away! Your sure this is fixed? -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

Issue 164 in xmonad: Switching Tabs twice doesnt work
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 164: Switching Tabs twice doesnt work http://code.google.com/p/xmonad/issues/detail?id=164 Comment #4 by domi...(a)dbruhn.de: Yes, i recompiled it. I attached a simple xmonad config to reproduce it. Attachments: xmonad.hs 348 bytes -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

Issue 164 in xmonad: Switching Tabs twice doesnt work
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 164: Switching Tabs twice doesnt work http://code.google.com/p/xmonad/issues/detail?id=164 Comment #3 by Braden.Shepherdson: Make sure you've touched your xmonad.hs (or done xmonad --recompile) to force recompilation after the rebuild and try again. If the problem persists, we'll keep looking into this. -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

darcs patch: add 'property' Query to ManageHook -- comments please!!
by Brent Yorgey 25 Mar '08

25 Mar '08

Hi all, Here's a patch implementing a rudimentary way to extract String properties other than WM_CLASS from a window. I'm sure it can be improved, especially with respect to its handling of Unicode stuff (?? -- it's currently rather stupid in this respect, but I don't know much about any of that). However, it would be nice if this (or a modified version) made it in, several people have asked for it in the past. For example, just yesterday, sphynx was asking how to get the WM_WINDOW_ROLE, and now this could be accomplished like property "WM_WINDOW_ROLE" =? "foo" --> doF ... -Brent Tue Mar 25 10:54:14 EDT 2008 Brent Yorgey <byorgey(a)gmail.com> * ManageHook: add a 'property' Query that can get an arbitrary String property from a window (such as WM_WINDOW_ROLE, for example)

2 1

Issue 164 in xmonad: Switching Tabs twice doesnt work
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 164: Switching Tabs twice doesnt work http://code.google.com/p/xmonad/issues/detail?id=164 Comment #2 by domi...(a)dbruhn.de: Sorry, but its not fixed, at least on my system. I pulled both XMonad and XMonadContrib from darcs two minutes ago and recompiled both and also recompiled my binary and the bug still exists as provided above. So is it my fault or how comes? -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

darcs patch: add 'userCode' wrapper to startupHook
by Brent Yorgey 25 Mar '08

25 Mar '08

Tue Mar 25 13:12:41 EDT 2008 Brent Yorgey <byorgey(a)gmail.com> * Main.hs: startupHook should be guarded by userCode

2 1

Issue 43 in xmonad: Call setlocale at startup
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 43: Call setlocale at startup http://code.google.com/p/xmonad/issues/detail?id=43 Comment #7 by SpencerJanssen: (No comment was entered for this change.) Issue attribute updates: Labels: -Milestone-Release0.7 Milestone-Release0.8 -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0

Issue 95 in xmonad: Improve floating layer usability
by codesite-noreply＠google.com 25 Mar '08

25 Mar '08

Issue 95: Improve floating layer usability http://code.google.com/p/xmonad/issues/detail?id=95 Comment #4 by SpencerJanssen: (No comment was entered for this change.) Issue attribute updates: Labels: -Milestone-Release0.6 -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings

1 0