Interesting problem of JGR

JGR works well with Linux except for one thing: it seems to use lots of CPU time (See the first figure above).

The way to solve this problem is surprisingly simple: simply click the "About" box once, and the problem is solved (See the second figure above).

I do hope the author can fix this bug in their next release though.