Just for the record, this was fixed some time ago.
___
Miguel de Benito.
Am 23.08.2012 10:29 schrieb "Sam Liddicott" :
>
>
> On Wed, Aug 22, 2012 at 4:37 PM, wrote:
>
>> **
>> Dear Sam
>>
>> Git commit
>> https://gitorious.org/texmacs/texmacs/commit/6c503f75c359f7f2b4c4bf26549b265
On Wed, Aug 22, 2012 at 4:37 PM, wrote:
> **
> Dear Sam
>
> Git commit
> https://gitorious.org/texmacs/texmacs/commit/6c503f75c359f7f2b4c4bf26549b265d4d272fed(=
> svn rev 5590) does not have this problem. It seems the following "tiny
> tweak" is not all that good.
>
>
Thanks VERY much for that
Dear Sam
Git commit
https://gitorious.org/texmacs/texmacs/commit/6c503f75c359f7f2b4c4bf26549b265d4d272fed
(= svn rev 5590) does not have this problem. It seems the following
"tiny tweak" is not all that good.
best,
Philippe
Sam Liddicott - s...@liddicott.com wrote:
texmacs git head quit
