>I certainly wouldn't want my development tools waste time with pointless animations.

On one hand I agree. On the other: where are these high performance real-time GUI kits these days? If it came down to IMGUI or shoving Electron into my app...