On Sun, 14 Jun 2009 00:27:16 +0200 Pavel Sanda <sa...@lyx.org> wrote:
> Martin Vermeer wrote: > > On Wed, 14 Jan 2009 13:22:54 +0100 > > Pavel Sanda <sa...@lyx.org> wrote: > > > > > Martin Vermeer wrote: > > > > As in the attached. This makes it possible to enable autocorrection in > > > > the preferences file. > > > > > > would it be possible to add some list of autocorrected things into some > > > of our manual? > > > > Hmmm, yes. > > Martin, i have added gui checkbox for autocorrection. would it be possible to > add some info > how this works in our manual? pavel > > > > it may be worth to add checkbox into preferences gui. > > > > That was the next step in my world domination plan ;-) > > > > Only, I'm rather lost with this qt stuff. > > > > > pavel > > > > - Martin Thanks Pavel. It works like this: for certain predefined key sequences like => typing the sequence will lead to a \Rightarrow appearing in Math. Unfortunately I don't have a working lyx in svn now... no working account. So I cannot check how it works. What I remember is that you can leave autocorrect mode by pressing <space> and re-enter it by pressing <!>. The sequences recognized are listed in lib/autocorrect. - Martin BTW Some guys at Turku University have implemented a facility for writing structured derivations (i.e., math text with collapsable subderivations etc. etc.) in LyX. Looks quite impressive. The source is here: http://users.abo.fi/psallasm/src/ Would there be an interest in having this in trunk? - Martin
