Re: [GITGRUB] New menu interface (implementation)

[Bean]

Hi,

Update:

Optimize update algorithm for term widget, now it should only update
the necessary regions.

Fix prompt handling in term, you can't use backspace to erase prompt
or use left to move before it, home would jump to position after the
prompt.

BTW, menu branch has been merged with master, new code would push to
the master branch directly.

-- 
Bean

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