improved design of distraction screen; in drop down menus, one can now also...
improved design of distraction screen; in drop down menus, one can now also enter custom values (only natural numbers)
improved design of distraction screen; in drop down menus, one can now also enter custom values (only natural numbers)
mentioned in commit de85ead0
merged