Hi, On Fri, 24 Aug 2012 03:14:43 +0200 wrote fuchur <[email protected]>:
>Hi, > >On Fri, 24 Aug 2012 00:37:49 +0200 >wrote Christopher Roy Bratusek <[email protected]>: > >>On Thursday 23 August 2012 21:10:42 fuchur wrote: >>> Hi, >>> >>> This patch removes "/usr/share/sawfish/lisp/sawfish/wm/util/marks.jl" >>> It seems marks.jl is only for tab.jl. But with a pair small changes >>> in tab.jl we don't need marks.jl >>> >>> I also add a check if the select window for a tab exists (if not >>> exists (maybe you have close the window), then tabs will >>> not work until you restart sawfish, the patch fix that) >>> >>> And also now the cursor changes if you select a window as tab. >> >>Thanks, commited. > >Here is already an update, sorry. We always set the default cursor to >left_ptr. But i am not sure that always the default cursor is left_ptr. >To make sure to have always the default cursor set by >gtk-mouse-theme-selector or other programs we should use also this >patch. > > You have add my last patches but skip this patch. Why? Is the default cursor always left_ptr? -- Regards, Fuchur GPG Fingerprint: CA3B 8204 5B3E 6D48 6D53 C116 E5BC 70D5 B8D7 B2B0
signature.asc
Description: PGP signature
