Re: [GITGRUB] New menu interface (implementation)

[Bean]

On Mon, Oct 5, 2009 at 4:05 AM, Bean <address@hidden> 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/