Author Edit

Christopher Bratusek

Synopsis Edit

Update from Sawfish 2.0. In 2.0 Crux and Microgui use 'WM_NAME instead of '(WM_NAME _NET_WM_NAME), since the debugging output says: use '(WM_NAME) if you really want only WM_NAME, I updated the patch to use '(WM_NAME).

Patch Edit

--- themes/Crux/theme.jl	2008-02-18 20:14:14.000000000 +0100
+++ themes/Crux/theme.jl	2002-04-22 08:20:43.000000000 +0200
@@ -457,4 +457,4 @@
 (add-frame-style 'Crux get-frame)
 ;; recalibrate frames when the window-name changes
-(call-after-property-changed '(WM_NAME _NET_WM_NAME) rebuild-frame)
+(call-after-property-changed '(WM_NAME) rebuild-frame)
--- themes/microGUI/theme.jl	2008-02-18 20:14:14.000000000 +0100
+++ themes/microGUI/theme.jl	2000-10-27 00:57:31.000000000 +0200
@@ -351,5 +351,5 @@
 		       ((shaped-transient) shaped-transient-frame))))
-   '(WM_NAME _NET_WM_NAME) (lambda ()
-                             (rebuild-frames-with-style 'microGUI))))
+   '(WM_NAME) (lambda ()
+	      (rebuild-frames-with-style 'microGUI))))

Community's reasons for inclusion or rejection Edit

Patch submitters, please vote also! Yes, obviosuly your vote will be positive, but it's the place to give your explanation why this patch is good for all Sawfish users, and why it is correct - good reasons for inclusion.

When voting anonymously please write your name, so that it can be associated with your posts on the mailing list. If you are logged in you can sign yourself by typing four tilda characters: ~~~~.

  • Yes vote: yes., No vote: no. or Wtf vote: pondering.

Yes vote: yes. As the author I say yes, at least we get rid of the useless debugging message. Since that change has also been made in the official 2.0, there should be no problem about it. Flashrider [Christopher Bratusek] 09:59, 19 June 2008 (UTC)

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.