[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Home-End keys in menu
From: |
Carles Pina i Estany |
Subject: |
Re: [PATCH] Home-End keys in menu |
Date: |
Tue, 5 Aug 2008 14:02:00 +0200 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
Hello,
Some weeks ago I sent a patch that didn't have any discussion. I'm
sending it again, maybe everybody was in holidays :-)
Actually I updated the patch (added some spaces to comply with the
coding style).
* menu/normal.c: Add Home and End keys in grub-menu
Also, I added a comment that would be nice to change some magic numbers
to constants that already exists.
(I feel that it's a insignifcant patch compared with what I have seen
here!)
Thank you,
On Jul/21/2008, Carles Pina i Estany wrote:
>
>
> Hello,
>
> Last weekend we talked about "menu loop" (wrapping):
> http://lists.gnu.org/archive/html/grub-devel/2008-07/msg00319.html
>
> Conclusion: people here don't like it (we could discuss for ages, I
> think :-) )
>
> Second proposal that maybe was hidden in so much text: to make it to
> work Home and End keys. Patch is attached. Do you need a more formal
> changelog for this? Adds Home and End key moving.
> Comments are welcomed.
>
> Commend: I think that would be possible to change "case 14" by "case
> GRUB_TERM_DOWN"; and "case 16" by "case GRUB_TERM_UP" in normal/menu.c
> line 400 aprox. These constants are defined in include/grub/term.h. I
> don't send a patch because it's in the same "zone" than attached patch
> and it's easy-easy.
>
> Thanks for your patience,
>
> --
> Carles Pina i Estany GPG id: 0x8CBDAE64
> http://pinux.info Manresa - Barcelona
> Index: normal/menu.c
> ===================================================================
> --- normal/menu.c (revision 1718)
> +++ normal/menu.c (working copy)
> @@ -405,6 +405,22 @@
>
> switch (c)
> {
> + case GRUB_TERM_HOME:
> + first=0;
> + offset=0;
> + print_entries (menu, first, offset);
> + break;
> +
> + case GRUB_TERM_END:
> + offset = menu->size - 1;
> + if (offset > GRUB_TERM_NUM_ENTRIES - 1)
> + {
> + first = offset - (GRUB_TERM_NUM_ENTRIES - 1);
> + offset = GRUB_TERM_NUM_ENTRIES - 1;
> + }
> + print_entries (menu, first, offset);
> + break;
> +
> case 16:
> case '^':
> if (offset > 0)
> _______________________________________________
> Grub-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/grub-devel
--
Carles Pina i Estany GPG id: 0x17756391
http://pinux.info
home_end2.patch
Description: Text Data
- Re: [PATCH] Home-End keys in menu,
Carles Pina i Estany <=
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/05
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/06
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Robert Millan, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Marco Gerards, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Javier MartÃn, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Robert Millan, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/13
- Re: [PATCH] Home-End keys in menu, Carles Pina i Estany, 2008/08/16
- Re: [PATCH] Home-End keys in menu, Felix Zielcke, 2008/08/17