[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-gnubg] Player Record refinement
From: |
Albert Silver |
Subject: |
[Bug-gnubg] Player Record refinement |
Date: |
Thu, 14 Aug 2003 10:21:09 -0300 |
One of my friends has run into a problem that only a power user would
find: he'd like it to be possible to jump to a starting letter in the
player records by typing a letter. His file contains between 100-150
players and everytime he wants to take a look, he has to scroll up and
down a lot. This is a natural ease-of-use option and seems quite
reasonable.
Albert
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Bug-gnubg] Player Record refinement,
Albert Silver <=