PintaProject/Pinta — pull request #45 by don-mccomb (2012-11-27 12:48:01+00:00)
Title: Select width text when NewDocument dialog is shown

With these changes the text in the widthSpinner widget on the NewImageDialog is selected when the dialog box is displayed. This allows the user to immediately type to replace the previous value. Previously they would have had to delete, or select and overwrite the previous value. This is a minor usability enhancement.