removed limit on predicates shown in predicate view
hopefully added support for using the numpad enter key instead of the normal one on a Mac, by adding bindings for keypad_enter