Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Small usability fixes for tiny screens, take 2 #3999
Screenshots attached. (The less wide editor window looks so much better to me - perhaps it would really make sense to resize the window proportionally if it the default doesn't fit onto the screen? Maybe we could spawn it at 0,0 in this case too. This way the play/stop buttons are most likely to be unobstructed.)
Another alternative would be to keep the initial behavior, but make it so that the display window spawns right next to the stop button. So like my initial patch, but keeping the 66px from the top - just pushing it more to the right so that the user can click stop.