keys: common generation of flags legend from includes

[sheet.git] / readline.plp

diff --git a/readline.plp b/readline.plp
index c0eb58a280f7da6df1a9a3bcf35175adef68a98d..9c7c027a8c68754fa886d2a929d5d399b9a47993 100644 (file)
--- a/readline.plp
+++ b/readline.plp
@@ -33,33 +33,11 @@ $keys->print_rows($get{rows} || '^x=213', [4,3,2]);
 
 <div class="help">
        <div class="left">
-               <dl class="legend legend-types">
-               <dt class="ci">info
-                       <dd>Info command: shows/does something without altering anything.
-               <dt class="pm">motion
-                       <dd>Move the cursor.
-               <dt class="co">history
-                       <dd>Replace contents involving kill ring, undo, or command history.
-               <dt class="mi">change
-                       <dd>Alter current text (filtering or completion).
-               <dt class="mo">delete
-                       <dd>Remove text.
-               <dt class="mv">misc
-                       <dd>Miscellaneous commands.
-               <dt class="me">mode
-                       <dd>Additional key functionality (click to view).
-               </dl>
+<: $keys->print_legend('legend-types', [qw( ci pm co mi mo mv me )]) :>
        </div>
 
        <div class="right">
-               <dl class="legend legend-options">
-               <dt>key<:= $sign{arg} :>
-                       <dd>Commands with a dot need a char argument afterwards.
-               <dt class="new">&gt;v2.0
-                       <dd>Unavailable before readline version 2.1 (1997).
-               <dt class="ext">bash
-                       <dd>Default assignment in Bash shells, but not common readline.
-               </dl>
+<: $keys->print_legend('legend-options', [qw( arg new ext )]) :>
 
                <ul class="legend legend-set">
                <li>keyboard <strong>map</strong> is