IDEA-129885 Ctrl+up/down should scroll in Database Console
dfa: don't forget facts coming from boxed booleans after they're flushed