From da6e261b74b7a9abb71ba11ce38c28d19843f9ee Mon Sep 17 00:00:00 2001 From: Miguel de Benito Date: Thu, 13 Sep 2012 07:40:21 +0000 Subject: [PATCH] Minor corrections. --- devel/scheme/gui/scheme-gui-advanced.en.tm | 4 ++-- devel/scheme/gui/scheme-gui-intro.en.tm | 5 +++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/devel/scheme/gui/scheme-gui-advanced.en.tm b/devel/scheme/gui/scheme-gui-advanced.en.tm index 0f72bdb..f06e66a 100644 --- a/devel/scheme/gui/scheme-gui-advanced.en.tm +++ b/devel/scheme/gui/scheme-gui-advanced.en.tm @@ -1,9 +1,9 @@ - + <\body> - + diff --git a/devel/scheme/gui/scheme-gui-intro.en.tm b/devel/scheme/gui/scheme-gui-intro.en.tm index 6c5655a..c0302c7 100644 --- a/devel/scheme/gui/scheme-gui-intro.en.tm +++ b/devel/scheme/gui/scheme-gui-intro.en.tm @@ -1,4 +1,4 @@ - + @@ -21,7 +21,8 @@ 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: complicated aggregations of widgets might be better placed in a separate - window or dialogue. + window or dialogue, as explained in "". A complete reference with all the available widgets is the "", and you can find some