OK, they look about the same now. What took me so long was actually a bug in A Widget Factory: it doesn't refresh the focus settings for the buttons. Closing and re-opening it should work.
OK, they look about the same now. What took me so long was actually a bug in A Widget Factory: it doesn't refresh the focus settings for the buttons. Closing and re-opening it should work.