Hi Yutaka,
the bug described in my posting #17722 is fixed.
However, the inconsistency (bug?) described in my posting #17712 is still present. To show the problem more clearly, I’ve made a screencast. You can watch/download it here:https://dl.dropboxusercontent.com/u/42104478/screencast.mp4. Please note the text color when the cursor is in line 5. Sometimes the text color is red, and sometimes it’s black.
Best regards,
Andreas