As you may have guessed I have needed to use this binding recently :) This is going in now.
JMarc
Index: lib/ChangeLog =================================================================== --- lib/ChangeLog (revision 15765) +++ lib/ChangeLog (working copy) @@ -1,3 +1,8 @@ +2006-11-08 Jean-Marc Lasgouttes <[EMAIL PROTECTED]> + + * bind/menus.bind: digits may need the shift modifier (on french + kbd for example). + 2006-10-26 Enrico Forestieri <[EMAIL PROTECTED]> * symbols: add MathBigInset symbols. Index: lib/layouts/foils.layout =================================================================== --- lib/layouts/foils.layout (revision 15765) +++ lib/layouts/foils.layout (working copy) @@ -43,6 +43,7 @@ Style Foilhead Margin Static LatexType Command LatexName foilhead + TocLevel 1 LabelSep xxx ParSkip 0.4 TopSep 1.3 @@ -165,6 +166,7 @@ Style My_Logo Margin Static LatexType Command LatexName MyLogo + KeepEmpty 1 LeftMargin My_Logo:xx LabelSep xxx Align Left Index: lib/bind/menus.bind =================================================================== --- lib/bind/menus.bind (revision 15765) +++ lib/bind/menus.bind (working copy) @@ -40,19 +40,19 @@ \bind "M-s h" "font-size huge" \bind "M-s S-H" "font-size giant" -\bind "M-s 1" "font-size tiny" -\bind "M-s 2" "font-size scriptsize" -\bind "M-s 3" "font-size footnotesize" -\bind "M-s 4" "font-size small" -\bind "M-s 5" "font-size normal" -\bind "M-s 6" "font-size large" -\bind "M-s 7" "font-size larger" -\bind "M-s 8" "font-size largest" -\bind "M-s 9" "font-size huge" -\bind "M-s 0" "font-size giant" +\bind "M-s ~S-1" "font-size tiny" +\bind "M-s ~S-2" "font-size scriptsize" +\bind "M-s ~S-3" "font-size footnotesize" +\bind "M-s ~S-4" "font-size small" +\bind "M-s ~S-5" "font-size normal" +\bind "M-s ~S-6" "font-size large" +\bind "M-s ~S-7" "font-size larger" +\bind "M-s ~S-8" "font-size largest" +\bind "M-s ~S-9" "font-size huge" +\bind "M-s ~S-0" "font-size giant" \bind "M-s ~S-plus" "font-size increase" -\bind "M-s minus" "font-size decrease" +\bind "M-s ~S-minus" "font-size decrease" #
