Re: [GITGRUB] New menu interface (implementation)

[Bean]

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.

-- 
Bean

gitgrub home: http://github.com/grub/grub/
my fork page: http://github.com/bean123/grub/