[texworks] Early thoughts

[Will Robertson]

On 18/09/2008, at 11:40 PM, Jonathan Kew wrote:

> On 18 Sep 2008, at 2:52 PM, Will Robertson wrote:
>>
>> Why would you want to change the font or syntax highlighting  
>> individually?
>
> Those of us who work with "unusual" languages sometimes like to set  
> a different font for those files than in our TeX macros. (Of course,  
> this suggests that I might want it to *remember* per-file settings,  
> but that's not implemented, at least not yet.)

I was going to say, here, that it would be better (I think) to use a  
"Document preferences" mode for something like this. It could also be  
used to set the encoding, typesetting program, etc., without having to  
"dirty" the file with %! flags.

W