I guess I cheered to soon… The buttons are messed up again. But it happened at the moment when I launched Grasshopper.
Look here https://vimeo.com/224621140
Any idea on how to fix this?
See if this FAQ page has what you need:
https://wiki.mcneel.com/rhino/5/video/highres/toolbars_and_text_too_small_in_64-bit_rhino_5_on_high_resolution_screen
Aha! A first test gives me good results. Let’s see how this works out over time. Thanks!