In reply to:

Of course, popping up "Options" and trying to scroll results in the options window moving down the screen while it's scrolling, which is bizarre, but presumably isn't related.


I just fixed this a couple minutes ago for RMML ... It appears to be a bug in Apple's Java impl when I turn on the brushed metal look. The next build will have that turned off which fixes the problem.