Version 3.1.2 glitches

Dear KNIMErs,

Is it just my new machine, or are others noticing the same? As of 3.1.2, I don't appear to get

1. Java syntax highlighting
2. Context-sensitive OK buttons when holding Ctrl+Shift

Also, the fuzzy search seems to slow down or even freeze the "search as you type" feature, so I'd like to have KNIME wait for an explicit "Enter" like back in 2.3 or so. Could you please remind me of the INI setting for this?

Many thanks
E