Jun Kim <firstname.lastname@example.org>
4:41 PM (2 hours ago)
I love it! Obviously better than before
But Usage & Setup drop-downs are too long and the ends of them are cut!
So, I think they need scroll bars like Interpreter drop-down.
The image below shows that the drop-down is cut.