On Mon, Oct 5, 2009 at 4:05 AM, Bean <bean12...@gmail.com> wrote: > Hi, > > Update: > > Select the first item when menu starts. > Fix a bug in border handling, now the position should be ok > Fix a bug in EFI linux loader > Add edit widget. > > Properties for the edit widget: > lines: number of lines, default value is 1 > columns: number of columns, default value 20 > max_lines: maximum number of history, default value 100, if more lines > are entered, the oldest lines would be discard. If max_lines is set to > 0, no limit on the > lines stored. > font: font name > color: font color > > Unlike gfxterm, edit widget support proportional font, the demo use > Helvetica to illustrate it. > > Hotkey inside edit widget: > > Up: Move up one line > Down: Move down one line > Left: Move left one character > Right: Move right one character > Backspace: Erase one character > TAB: Leave the widget and jump to next item > > The widget support smart scrolling, when the text exceed the border, > it scroll the cursor to the center so that it have more blank space > (like emacs), it also remember the cursor position, you can edit some > text, then jump to another item. When you jump back to the edit > widget, the cursor would restore to the last position. > > Resource file menu.zip updated for the new edit widget.
Hi, Oh, forget to mention these keys: Home: jump to the first character in the current line End: jump to the last character in the current line -- Bean gitgrub home: http://github.com/grub/grub/ my fork page: http://github.com/bean123/grub/ _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
