Re: Patch for tab.jl

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

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)

iEYEARECAAYFAlA9WhwACgkQ5bxw1bjXsrDZIQCfeblq7FNV59d4KqBms03AVzsv
aIQAoIWF9k6xaPkbyCg5L7Q/OOR+VPbk
=iVOP
-----END PGP SIGNATURE-----