texmacs
/
doc
mirror of https://github.com/texmacs/doc.git
1
0
Fork 0
Code

Minor corrections.

This commit is contained in:
Miguel de Benito 2012-09-13 07:40:21 +00:00
parent 4b28493fc7
commit da6e261b74
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
devel/scheme/gui/scheme-gui-advanced.en.tm
View File

@ -1,9 +1,9 @@
<TeXmacs|1.0.7.16> <TeXmacs|1.0.7.15>
<style|tmdoc> <style|tmdoc>
<\body> <\body>
<tmdoc-title|Containers, glue, refresh and cia.> <tmdoc-title|Containers, glue, refresh and co.>
<subsection|Attribute widgets> <subsection|Attribute widgets>

5
devel/scheme/gui/scheme-gui-intro.en.tm
View File

@ -1,4 +1,4 @@
<TeXmacs|1.0.7.16> <TeXmacs|1.0.7.15>
<style|tmdoc> <style|tmdoc>
@ -21,7 +21,8 @@
However, it must be kept in mind that items intended to be inserted in a However, it must be kept in mind that items intended to be inserted in a
menu bar won't necessarily display as they do in a separate window: menu bar won't necessarily display as they do in a separate window:
complicated aggregations of widgets might be better placed in a separate complicated aggregations of widgets might be better placed in a separate
window or dialogue. window or dialogue, as explained in "<hlink|Dialogs and composite
widgets|scheme-gui-dialogs.en.tm>".
A complete reference with all the available widgets is the "<hlink|Widgets A complete reference with all the available widgets is the "<hlink|Widgets
reference guide|scheme-gui-reference.en.tm>", and you can find some reference guide|scheme-gui-reference.en.tm>", and you can find some