1
0
Fork 0

Update documentation on focus

This commit is contained in:
Joris van der Hoeven 2011-08-28 19:53:34 +00:00
parent f162af07e0
commit 6bdf7bf1b8
1 changed files with 11 additions and 9 deletions

View File

@ -1,4 +1,4 @@
<TeXmacs|1.0.7.10> <TeXmacs|1.0.7.11>
<style|tmdoc> <style|tmdoc>
@ -48,17 +48,18 @@
<\quote-env> <\quote-env>
The following theorem is due to <name|Euler>: The following theorem is due to <name|Euler>:
<\big-focus> <\big-envbox>
<\theorem> <\theorem>
<small-focus|<math|\<mathe\><rsup|\<mathpi\>*\<mathi\>>=\<um\>1<value|math-cursor>>>. <small-focus|<math|\<mathe\><rsup|\<mathpi\>*\<mathi\>>=\<um\>1<value|math-cursor>>>.
</theorem> </theorem>
</big-focus> </big-envbox>
</quote-env> </quote-env>
At the position of the cursor, the cyan boxes indicate the active tags: in At the position of the cursor, the grey and cyan boxes indicate the active
this case, the cursor is both inside a theorem and a formula. The innermost tags: in this case, the cursor is both inside a theorem and a formula. The
active tag (the formula <math|\<mathe\><rsup|\<mathpi\>*\<mathi\>>=\<um\>1> innermost active tag (the formula <math|\<mathe\><rsup|\<mathpi\>*\<mathi\>>=\<um\>1>
in our example) is called the <em|current focus>. in our example) is surrounded by a cyan box and called the <em|current
focus>.
The contents of the <menu|Focus> menu and <em|focus toolbar> (the lowest The contents of the <menu|Focus> menu and <em|focus toolbar> (the lowest
toolbar) are highly context dependent and determined as a function of the toolbar) are highly context dependent and determined as a function of the
@ -69,7 +70,7 @@
<\quote-env> <\quote-env>
The following theorem is due to <name|Euler>: The following theorem is due to <name|Euler>:
<\big-focus> <\big-envbox>
<\theorem> <\theorem>
\; \;
@ -79,7 +80,7 @@
</equation*> </equation*>
</big-focus> </big-focus>
</theorem> </theorem>
</big-focus> </big-envbox>
</quote-env> </quote-env>
Similarly, the arrow buttons on the left hand side of the focus toolbar Similarly, the arrow buttons on the left hand side of the focus toolbar
@ -111,5 +112,6 @@
<\initial> <\initial>
<\collection> <\collection>
<associate|language|english> <associate|language|english>
<associate|preamble|false>
</collection> </collection>
</initial> </initial>