I'm sure you have let the developers know. They usually resolve things double quick. I love REAPER as if is fast to use and stable. I'm using 6.0 now but kept the old theme.