logo       

Re: Bug in 1.3 with show desktop feature: msg#00153

window-managers.sawfish

Subject: Re: Bug in 1.3 with show desktop feature

Christian Marillat writes:
|I can hide all windows, but windows who are sticky set aren't restored.

this patch should fix it:

diff -u -p -r1.159 workspace.jl
--- sawfish/wm/workspace.jl 16 Mar 2003 20:56:48 -0000 1.159
+++ sawfish/wm/workspace.jl 27 Mar 2003 06:05:23 -0000
@@ -537,7 +537,7 @@ window, one of `stop', `keep-going', `wr
(mapc (lambda (w)
(when (window-appears-in-workspace-p w current-workspace)
(swap-in w current-workspace))
- (when (and (window-in-workspace-p w current-workspace)
+ (when (and (window-appears-in-workspace-p w current-workspace)
(window-get w 'placed))
(if (window-viewable-p w)
(show-window w)





<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise