Re:Goodbye to Eclipse – the end of an era as an Eclipse plug...
by nickh9000 on Friday February 23, 2018 @08:13PM
(#16451029)
Maybe it is time to upgrade from that machine.
[ Parent
| on HN ]
Re:Goodbye to Eclipse – the end of an era as an Eclipse plug...
by badpun on Saturday February 24, 2018 @05:27AM
(#16452639)
The machine is less than a year old...
I'm betting the menu content is dynamic (based on preferences, maybe the code that's on the screen etc.) and they're recomputing the content before drawing it - but still, it's no excuse.