Pretty printer hotkey clashes

Brought to you by: mikeatkinson, seguin

#101 Pretty printer hotkey clashes

Status: open

Owner: Mike Atkinson

Labels: Pretty Printer (87)

Priority: 5

Updated: 2003-07-20

Created: 2003-01-31

Creator: Anonymous

Private: No

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

Mike Atkinson - 2003-07-20

assigned_to: seguin --> mikeatkinson
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: