[texworks] what do the tab-width and auto-indent GUI mean?

kap4lin kap4lin at gmail.com
Sun Jan 10 22:31:05 CET 2010


On Thu, Dec 10, 2009 at 1:57 PM, kap4lin <kap4lin at gmail.com> wrote:
> On Tue, Dec 8, 2009 at 10:20 AM, Stefan Löffler <st.loeffler at gmail.com> wrote:
>> Hi,
>>
>> On 2009-12-06 08:44, kap4lin wrote:
>>> Now, I am not able to figure out two of the settings under Edit >
>>> Preferences > Editor:
>>>
>>> 1. Tab width (32 pt) -- I don't see any changes when 8 or 16 or 64 pt
>>> is used? Is this the indent width? Pressing TAB always jumps 6
>>> characters in the editor, no matter what this value is.
>>>
>>
>> Yes, this is supposed to be a tab size. Unfortunately, it currently
>> isn't working (thanks for noticing and reporting). I have just posted a
>> patch to fix this, though (see
>> http://code.google.com/p/texworks/issues/detail?id=89) which Jonathan
>> hopefully commits to svn soon.
>> BTW: It's supposed to read "px" instead of "pt" (this is also fixed by
>> my patch). And it's not generally 6 characters, as you can also work
>> with proportional fonts in the editor. It is indeed the amount it says
>> it is, e.g. 32 px.
>
> Ah, great. May be I should move to the trunk from the stable!

Sorry to dig this up. But was the patch never applied? I am running
the r541 from trunk. And it is still 'pt' w/o any effect!


-- 
Regards
Kap4Lin
--------------------------------------
http://counter.li.org  #402424



More information about the texworks mailing list