[patch #1042] hotkeys and other improvements in hotlist

[Pavel Tsekov]

Follow-up Comment #12, patch #1042 (project mc):

No problem - I'll deal with that.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?func=detailitem&item_id=1042>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/