Re: [Texmacs-dev] Applied patches for version 1.0.1.3

[david]

On Wed, Feb 05, 2003 at 02:27:10PM +0100, Joris van der Hoeven wrote:
> 
> > > 1045: Rejected
> > >   You should use a customized init-texmacs.scm file
> > 
> > That is exactly what this patch is for.
[...]
> 
> I mean that you may directly the actions undertaken by your preferences
> in your personal init-texmacs.scm file.

I am not sure I understand what you mean, but I think we agree.

The main problem is that the current implementation of
pre-initialize-preferences erases customized preferences and I found
no way to work around that problem from my-init-texmacs.

The part introducing 'pretend-save-preferences' fixes that problem.

The other problem is that extending the preferences requires violating
the encapsulation of the preferences system.

The 'define-preference' macro fixes that other problem.

Thus customized preferences can be easily defined in my-init-texmacs.

-- 
David Allouche         | GNU TeXmacs -- Writing is a pleasure
Free software engineer |    http://www.texmacs.org
   http://ddaa.net     |    http://alqua.com/tmresources
   address@hidden  |    address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.