Re: Dark-Tab theme modifications

On Mon, 30 Aug 2010 22:16:26 +0200
wrote fuchur <flohtransporter gmail com>:

>On Mon, 30 Aug 2010 20:03:06 +0200
>wrote Janek Kozicki <janek_listy wp pl>:

>>There seems to be a bug somewhere, that after releasing a window the
>>titlebar of both windows is not redrawn until a window is dragged.
>>That is - the tabs are still drawn as if a tab wasn't released.
>i can't reproduces this ...


Now i can reproduces this. It's happens if you use key bindings and not
by mouse click. Right? Then you can try this patch:

-- sawfish/lisp/sawfish/wm/tabs/tabgroup.jl    2010-08-31 00:34:31.000000000 +0200
+++ sawfish/lisp/sawfish/wm/tabs-tmp/tabgroup.jl    2010-08-31 00:31:45.000000000 +0200
@@ -116,6 +116,7 @@
                 (tab-build-group (tab-group-position old) (tab-group-dimensions old) l))
         ;; releas from sawfish "default" group adopt by tab-group-window
         (add-window-to-new-group win)
+        (tab-refresh-group win 'frame)
         (window-put win 'fixed-position nil)
         (tab-refresh-group (car l) 'frame))))
@@ -224,6 +225,7 @@
       (window-put w 'frame-style group-frame-style)
       ;; ugly hack, don't know why it's needed, but new groups are
       ;; listed with pos (0,0):
+      (tab-refresh-group w 'reframe)
       (tab-refresh-group win 'move)
       (add-window-to-group w group-id)
       (tab-put-window-in-group w index)


GPG Fingerprint: CA3B 8204 5B3E 6D48 6D53  C116 E5BC 70D5 B8D7 B2B0

Attachment: signature.asc
Description: PGP signature

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]