The pretty printer hotkey ctrl-shift-p clashes with the jbuilder command previous-message.
Either change it to something unused yet or make it configurable.
am0@gmx.de
Log in to post a comment.