Remove Auto-hide digit buttons

[GoogleCodeExporter]

Quotes about the auto-hide digit button copies from a lengthy email:

On Sat, Apr 6, 2013 at 9:54 AM, Alexander Tesfamichael wrote:
What purpose does the "Auto-hide digit buttons" option serve. In other words, 
in which case would a user want to hide the buttons?

On 6-4-2013 4:56, Ben Buxton wrote:
Was a suggestion from a user to reduce distraction, though not sure how much 
sense it makes to keep it. We could remove and watch for comments from users.

On 6-4-2013 17:11, Paul Dingemans wrote:
I really see no added value in this function. I find it very distracting. In 
the usagelog of version 1.96 all preferences are logged and we can see how many 
users actually use it. In the big picture of the UI for version 2.0 the 
controls have been removed entirely.

---

On Sat, Apr 6, 2013 at 9:54 AM, Alexander Tesfamichael wrote:
Is the "auto-hide digit buttons" option toggling hiding whenever, wherever when 
tapping within the puzzle working as intended? If so why hide when selecting an 
empty cell?

On 6-4-2013 17:11, Paul Dingemans wrote:
The toggling does not always work correctly. As I see no value add in this 
function I have not tried to improve this. I will just wait for an issue to 
appear magically. Then I will decide whether I will put effort in correcting it.

---

On Sat, Apr 6, 2013 at 9:54 AM, Alexander Tesfamichael wrote:
Changing auto-hide digit buttons while buttons are hidden does not make them 
visible again.

On 6-4-2013 4:56, Ben Buxton wrote:
Dependent on whether this option is being removed.

On 6-4-2013 17:11, Paul Dingemans wrote:
Sometime you have to click a few cells to get it back. Please create an issue 
if this needs to be solved in version 1.96.

---

On Sat, Apr 6, 2013 at 9:54 AM, Alexander Tesfamichael wrote:
When auto-hide digit buttons is checked it is no longer possible to use the 
behaviour we suggest possible in the hint dialogue. Namely double tapping to 
change modes.

On 6-4-2013 4:56, Ben Buxton wrote:
I'm thinking its time to remove auto-hide. It creates too many problems. As-is, 
the option seems simple to have, but you've outlined numerous issues that this 
brings up, so perhaps we should remove it...

On 6-4-2013 17:11, Paul Dingemans wrote:
 You have really passed the test exam.... I knew this bug existed but was waiting for somebody else to notice it. It can be solved quite easily by adding another resource string for text to display in case controls are hidden. On the other hand the user will not learn about double tapping.  Let wait till release 2.0 to decide on this. I will create an issue to discuss this again.

Original issue reported on code.google.com by paul.din...@gmail.com on 6 Apr 2013 at 3:24

[GoogleCodeExporter]

Removed option to hide the digit buttons automatically in revision 334. 
According to the usage logging of version 1.96 this option was only used by 7 
users.

Original comment by paul.din...@gmail.com on 4 Jun 2013 at 8:13

• Changed state: Fixed

[GoogleCodeExporter]

Unfortunately the issue has not been verified explicitly by an independent 
tester.

Original comment by paul.din...@gmail.com on 8 Sep 2013 at 10:48

• Changed state: Verified